Theorem Cardinal.preAleph_le_preAleph

Modification history