Theorem Nat.card_eq_card_units_add_one

Modification history

2023-07-19 11:17
Mathlib/Data/Fintype/Units.lean
feat: add card_units_add_one lemma (#5738) …
Added Nat.card_eq_card_units_add_oneView on Github →