Commit 2021-07-11 01:40 e627394d
View on Github →feat(analysis/special_functions): limit of (1+1/x)^x (#8243) Resolves https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/e.20as.20limit.20of.20.281.2B1.2Fn.29.5En.