Theorem BoundedVariationOn.continuousWithinAt_variationOnFromTo_leftLim_Iic

Modification history

2026-08-18 19:45
Mathlib/Topology/EMetricSpace/VariationOnFromTo.lean
feat: a bounded variation function is continuous off a countable set (#42841)
Added BoundedVariationOn.continuousWithinAt_variationOnFromTo_leftLim_IicView on Github →