Theorem ContinuousOn.union_of_isOpen

Modification history

2025-05-16 09:05
Mathlib/Topology/ContinuousOn.lean
feat(Topology): add `ContinuousOn` union API lemmas (#22684) …
Added ContinuousOn.union_of_isOpenView on Github →