Theorem Cardinal.lift_injective

Modification history