Theorem ContinuousOn.iUnion_of_isOpen

Modification history

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