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.
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.