Theorem Cardinal.lift_inj

Modification history