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.

Estimated changes