Theorem Cardinal.mk_preimage_of_injective_lift

Modification history