Def EReal.exp

Modification history

2026-03-24 02:02

Mathlib/Analysis/SpecialFunctions/Log/ERealExp.lean

chore: bump toolchain to `v4.29.0-rc7` (#37034) …

Modified EReal.exp View on Github →

2024-07-12 14:35

Mathlib/Analysis/SpecialFunctions/Log/ERealExp.lean

feat(SpecialFunctions/Log): Add extended exp (#14107) …

Added EReal.exp View on Github →