Theorem continuousOn_union_iff_of_isClosed

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_isClosed View on Github →