Theorem LindemannWeierstrass.exp_polynomial_approx

Modification history

2026-09-07 07:56
Mathlib/NumberTheory/Transcendental/Lindemann/AnalyticalPart.lean
chore(NumberTheory/Transcendental/Lindemann/AnalyticalPart): automated extraction from #28013 (#43515) …
Deleted LindemannWeierstrass.exp_polynomial_approxView on Github →
2024-12-21 09:59
Mathlib/NumberTheory/Transcendental/Lindemann/Init/AnalyticalPart.lean
feat: analytic part of Lindemann-Weierstrass (#20092)
Added LindemannWeierstrass.exp_polynomial_approxView on Github →