OAI/MeasureTheory/Falconer/Estimates/TransversePhysicalCount.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The quantitative three-transverse-tube covering estimate

  1. theorem OAI.Falconer.three_transverse_tube_cover line 11