Theorem Function.Injective.encard_image

Modification history