Theorem Set.ncard_image_iff

Modification history