Theorem Cardinal.mk_image_eq_lift

Modification history