Theorem Finset.card_le_six

Modification history