Theorem Nat.card_fin

Modification history

2025-06-16 12:56
Mathlib/SetTheory/Cardinal/Finite.lean
feat(GroupTheory): add Regular Wreath Product (#24816) …
Added Nat.card_finView on Github →