Theorem Finset.card_image₂_le

Modification history