Theorem Set.card_image_of_inj_on

Modification history