Theorem Finset.card_eq_of_equiv_fin

Modification history