OAI/MeasureTheory/Falconer/Geometry/GeneralFrameBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A quantitative transverse frame for general-dimensional tube counting

  1. theorem OAI.Falconer.euclideanColumnLinear_norm line 11
  2. theorem OAI.Falconer.euclideanDualCoordinates_norm line 23
  3. theorem OAI.Falconer.exists_general_transverse_frame line 45