Theorem Fintype.bijective_iff_injective_and_card

Modification history