Theorem Finset.card_le_card_shatterer

Modification history