Theorem Finset.card_le_diff_of_interleaved

Modification history