Theorem Finset.card_le_of_interleaved

Modification history