Theorem continuousOn_iUnion_iff_of_isOpen

Modification history

2025-07-04 12:40
Mathlib/Topology/ContinuousOn.lean
chore: whitespace fixes (#26737) …
Modified continuousOn_iUnion_iff_of_isOpenView on Github →
2025-07-03 21:27
Mathlib/Topology/ContinuousOn.lean
feat: add continuousOn_iUnion (#26672) …
Added continuousOn_iUnion_iff_of_isOpenView on Github →