Theorem Cardinal.mk_image_embedding_lift

Modification history