OAI/MeasureTheory/Falconer/Estimates/EndpointScaleInputs.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

All geometric inputs of the scale-product step from the actual dyadic endpoint configuration. Local regularity is tested on the original child.

  1. theorem OAI.Falconer.dyadic_endpoint_local_mesh line 11
  2. theorem OAI.Falconer.quarter_endpoint_scale_inputs line 17