Theorem Cardinal.lift_one

Modification history