Theorem Nat.card_zmod

Modification history

2023-04-17 14:24
Mathlib/SetTheory/Cardinal/Finite.lean
chore: tidy various files (#3483)
Added Nat.card_zmodView on Github →