Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-18 17:25 9051aa73

View on Github →

feat(polynomial): prepare for transcendence of e by adding small lemmas (#4175) This will be a series of pull request to prepare for the proof of transcendence of e by adding lots of small lemmas.

Estimated changes