Theorem Finset.card_ne_zero

Modification history