OAI/Analysis/RieszRectifiability/Nets/ScaleInvariantExcessPropagation.lean

Scale-invariant bilateral excess propagation

Blowing up at a support point and a positive radius reduces excess propagation to its normalized form. Growth, admissibility, oscillation, and the uniform Riesz bound transfer to the blowup, while excess and bilateral beta transform back to the original scale.