Theorem Set.ncard_image_le

Modification history