Theorem Cardinal.aleph_eq_preAleph

Modification history