Commit 2023-04-04 12:51 f6c95f52

View on Github →

feat: port RingTheory.ZMod (#3257)

Estimated changes

added theorem Int.squarefree_coe_nat
added theorem Int.squarefree_natAbs
added theorem Int.natAbs_surjective
added theorem isReduced_zmod