Theorem Cardinal.lift_eq_aleph0

Modification history