Theorem ZMod.card

Modification history

2023-01-23 17:36
Mathlib/Data/ZMod/Defs.lean
feat: port Data.ZMod.Defs (#1713)
Added ZMod.cardView on Github →