Theorem Finset.card_univ_diff

Modification history