Theorem BoundedVariationOn.continuousWithinAt_variationOnFromTo_inter_Ici_iff

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_inter_Ici_iffView on Github →