Theorem Set.ncard_image_ofInjective

Modification history