Theorem Cardinal.mk_subset_ge_of_subset_image_lift

Modification history