Theorem Cardinal.lift_le_aleph1

Modification history