Theorem Cardinal.ord_preAleph

Modification history