Theorem ContinuousOn.exp

Modification history

2024-05-19 22:59

Mathlib/Analysis/SpecialFunctions/Exp.lean

chore(Analysis/SpecialFunctions/Exp): deal with TODO (#12781) …

Deleted ContinuousOn.exp View on Github →

2023-05-16 00:41

Mathlib/Analysis/SpecialFunctions/Exp.lean

feat: port Analysis.SpecialFunctions.Exp (#3988)

Added ContinuousOn.exp View on Github →