Theorem Cardinal.ord_aleph_isLimit

Modification history