OAI/MeasureTheory/Falconer/Incidence/CoarsePencilSize.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform coarse pencils, and their size when the total coarse cover is small.

  1. theorem OAI.Falconer.uniform_pencil_size_band line 12
  2. theorem OAI.Falconer.comparable_pencil_size_upper line 32
  3. theorem OAI.Falconer.comparable_pencil_size_power line 50