Theorem EReal.exp_zero

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_zeroView on Github →
2024-07-12 14:35
Mathlib/Analysis/SpecialFunctions/Log/ERealExp.lean
feat(SpecialFunctions/Log): Add extended exp (#14107) …
Added EReal.exp_zeroView on Github →