Theorem Finset.card_image_of_injective

Modification history