Theorem Nat.count_eq_card_fintype

Modification history