Theorem Cardinal.aleph_le_beth

Modification history