OAI/MeasureTheory/Falconer/Geometry/ScalarWeakProjection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A quantitative scalar projection theorem with weak Frostman constants. It is proved on the original dyadic point set, with no published input.

  1. theorem OAI.Falconer.Regularization.scalar_weak_projection line 10