Theorem Continuous.mulExpNegMulSq

Modification history

2025-02-10 14:34

Mathlib/Analysis/SpecialFunctions/MulExpNegMulSq.lean

feat: basic properties of `MulExpNegMulSq` (#20604) …

Added Continuous.mulExpNegMulSq View on Github →