Theorem Fintype.card_compl_eq_card_compl

Modification history