Theorem Cardinal.mk_image2_le

Modification history