Theorem Finset.card_inv_le

Modification history