Theorem ContinuousOn.union_continuousAt

Modification history

2025-03-07 15:46
Mathlib/Topology/ContinuousOn.lean
chore(Topology/ContinuousOn): re-use variables (#22691)
Modified ContinuousOn.union_continuousAtView on Github →
2024-10-23 23:43
Mathlib/Topology/ContinuousOn.lean
feat: add First Derivative Test from calculus (#16802) …
Added ContinuousOn.union_continuousAtView on Github →