OAI/MeasureTheory/FalconerCompletion/Graphs/GraphCapScaleInvCrude.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Graph energies and pair estimates.

  1. lemma OAI.CurrentFalconer.TreeND.graphCapScale_inv_crude line 24
  2. lemma OAI.CurrentFalconer.TreeND.graphCapGrid_card_crude line 38
  3. lemma OAI.CurrentFalconer.TreeND.graphCapGrid_pair_card_crude line 48
  4. lemma OAI.CurrentFalconer.TreeND.graph_energy_prefactor_crude line 59
  5. lemma OAI.CurrentFalconer.TreeND.graph_error_sum_crude line 66
  6. lemma OAI.CurrentFalconer.TreeND.graph_source_error_sum line 104
  7. def OAI.CurrentFalconer.TreeND.graphSourceChildMax line 132
  8. theorem OAI.CurrentFalconer.TreeND.graph_H_finite_jet_estimate line 144