OAI/MeasureTheory/Falconer/Estimates/ScalarForkSumset.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Applying the fixed-fold sumset construction to actual selected dyadic forks, with explicit scale margins.

  1. theorem OAI.Falconer.Regularization.scalar_selected_fork_sumset line 11