Theorem continouousOn_union_iff_of_isClosed

Modification history

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