Theorem continuousOn_union_iff_of_isOpen

Modification history

2026-02-21 07:42
Mathlib/Topology/ContinuousOn.lean
style(Topology/ContinuousOn): fix typo in theorem names (#35596) …
Added continuousOn_union_iff_of_isOpenView on Github →