Theorem Cardinal.aleph0_lt_lift

Modification history