OAI/MeasureTheory/Falconer/Graphs/TwoGraphScales.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Common graph scale and uniform error for the two outer profiles

  1. def OAI.Falconer.JetStateGraphData.withGraphScale line 14
  2. theorem OAI.Falconer.exists_two_graph_error_order line 26