Theorem Cardinal.preAleph_lt_preAleph

Modification history