OAI/Analysis/LipschitzHilbert/Estimates/WeightedDilationLayer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact weighted layer-cake step for a finite family of dilated rectangles. Its measure is the sum of the top areas, not a counting measure.

  1. theorem OAI.LipschitzHilbert.weighted_layer_from_weak_tail line 15