Theorem Cardinal.lift_le_aleph0

Modification history