Theorem Cardinal.aleph1_eq_lift

Modification history