Theorem integral_gaussian_Ioi

Modification history

2024-04-15 06:46

Mathlib/Analysis/SpecialFunctions/Gaussian.lean

refactor(SpecialFunctions/Gaussian): shorten long pole (#12104) …

Modified integral_gaussian_Ioi View on Github →

2023-06-26 05:48

Mathlib/Analysis/SpecialFunctions/Gaussian.lean

feat: port Analysis.SpecialFunctions.Gaussian (#5370)

Added integral_gaussian_Ioi View on Github →