mathlib

e627394d - feat(analysis/special_functions): limit of (1+1/x)^x (#8243)

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.