mathlib
99245b33 - chore(*): switch to lean 3.9.0 (#2449)

Commit

5 years ago

chore(*): switch to lean 3.9.0 (#2449) It's been too long since the last Lean release.

References

Author

gebner

Parents