Theorem Cardinal.ord_aleph

Modification history