Theorem Cardinal.aleph_lt_aleph

Modification history