Theorem Finset.card_insert_le

Modification history