Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-04 15:25 83c1cd8a

View on Github →

feat(set_theory/cardinal/cofinality): ω is a strong limit cardinal (#14436)

Estimated changes