Theorem Fintype.card_of_bijective

Modification history