Commit 2025-07-03 21:27 4fb1c97f
View on Github →feat: add continuousOn_iUnion (#26672)
A function is continuous on a union of open sets iff it is continuous on each individual set.
This extends the results in #22684 to arbitrary unions; the ContMDiffOn
analogue is proven in #26673.