Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-04 15:25 0746194f

View on Github →

feat(set_theory/cardinal/cofinality): limit cardinal is at least ω (#14432)

Estimated changes