Theorem Set.ncard_image_of_injOn

Modification history