Theorem Cardinal.aleph_limit

Modification history