Theorem Fintype.card_eq_one_iff

Modification history