Theorem Cardinal.lift_lt

Modification history