Theorem BoundedVariationOn.continuousAt_variationOnFromTo_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.continuousAt_variationOnFromTo_iffView on Github →