Theorem Finset.card_image₂_singleton_left

Modification history