Theorem Cardinal.aleph_lt

Modification history