Theorem Cardinal.ord_aleph_eq_enum_card

Modification history