Theorem Cardinal.lift_succ

Modification history