Theorem Cardinal.aleph_le
Modification history
2024-10-23 09:32
Mathlib/SetTheory/Cardinal/Aleph.lean
refactor(SetTheory/Cardinal/Aleph): `aleph'` → `preAleph` (#18099) …
Deleted Cardinal.aleph_leView on Github →2024-10-16 00:08
Mathlib/SetTheory/Cardinal/Aleph.lean
feat(SetTheory/Cardinal/Aleph): add notation for `aleph` and `beth` (#17671)
Modified Cardinal.aleph_leView on Github →