Theorem Finset.card_ne_zero_of_mem

Modification history