Theorem Fintype.card_compl_set

Modification history