Theorem Cardinal.mk_image_le

Modification history