Theorem Cardinal.lift_two

Modification history