Theorem Cardinal.aleph1_lt_lift

Modification history