Theorem LindemannWeierstrass.exp_polynomial_approx

Modification history

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 →