Theorem Cardinal.aleph_le_aleph

Modification history