OAI/MeasureTheory/Falconer/Estimates/GoodCoarseRows.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Original coarse-cell rows on a tube with good local projection energies.

  1. theorem OAI.Falconer.good_coarse_rows line 10