Theorem Cardinal.ord_aleph'_eq_enum_card

Modification history