Theorem Cardinal.lift_eq_zero

Modification history