Theorem continouousOn_union_iff_of_isOpen

Modification history

2025-05-16 09:05

Mathlib/Topology/ContinuousOn.lean

feat(Topology): add `ContinuousOn` union API lemmas (#22684) …

Added continouousOn_union_iff_of_isOpen View on Github →