Theorem Finset.card_le_card_image₂_left

Modification history