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

Commit

3 years ago

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

Author

urkud

urkud

Parents

Loading