Theorem Cardinal.lift_zero

Modification history