Theorem Cardinal.lift_two_power

Modification history