Theorem LindemannWeierstrass.integral_exp_mul_eval

Modification history

2024-12-21 09:59
Mathlib/NumberTheory/Transcendental/Lindemann/Init/AnalyticalPart.lean
feat: analytic part of Lindemann-Weierstrass (#20092)
Added LindemannWeierstrass.integral_exp_mul_evalView on Github →