mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: `ZMod`-module lemmas

Open YaelDillies opened this issue 1 year ago • 1 comments

From PFR

I am not a huge fan of the names I came up with, so I would gladly take suggestions.

Open in Gitpod

YaelDillies avatar Oct 13 '24 09:10 YaelDillies