GapFluxTelescoping.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Finite gap increments equal outer flux minus the increments across removed intervals, without any continuity assumption on boundary values.