Theorem Finset.card_eq_of_equiv_fintype

Modification history