Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-25 19:51 009cec03

View on Github →

feat(set_theory/cardinal_ordinal): Aleph is positive (#11657)

Estimated changes

added theorem cardinal.aleph'_pos
added theorem cardinal.aleph_pos