Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-06 07:17 49605783

View on Github →

feat(set_theory/cardinal): add lemmas about n : ℕ and ℵ₀ (#17490)

Estimated changes