Theorem Finset.card_empty

Modification history