Theorem Finset.card_image_le

Modification history