Theorem Finset.card_eq_of_bijective

Modification history