Theorem Finset.card_image₂_iff

Modification history