Theorem continuous_of_continuousOn_iUnion_of_isOpen

Modification history

2025-07-03 21:27
Mathlib/Topology/ContinuousOn.lean
feat: add continuousOn_iUnion (#26672) …
Added continuous_of_continuousOn_iUnion_of_isOpenView on Github →