Theorem ContinuousOn.union_isClosed

Modification history

2025-05-16 09:05
Mathlib/Topology/ContinuousOn.lean
feat(Topology): add `ContinuousOn` union API lemmas (#22684) …
Deleted ContinuousOn.union_isClosedView on Github →
2025-03-07 15:46
Mathlib/Topology/ContinuousOn.lean
chore(Topology/ContinuousOn): re-use variables (#22691)
Modified ContinuousOn.union_isClosedView on Github →
2025-02-17 04:34
Mathlib/Topology/ContinuousOn.lean
feat(Topology): add `ContinuousOn.union_isClosed` (#21607) …
Added ContinuousOn.union_isClosedView on Github →