OAI/MeasureTheory/FalconerCompletion/Graphs/TestedCellFamily.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Graph energies and pair estimates.

  1. def OAI.CurrentFalconer.TreeND.TestedCellFamily line 18
  2. def OAI.CurrentFalconer.TreeND.retainedPairs line 26
  3. def OAI.CurrentFalconer.TreeND.RetainedDegreeTarget line 33
  4. lemma OAI.CurrentFalconer.TreeND.graph_ancestor_count line 58
  5. theorem OAI.CurrentFalconer.TreeND.graph_candidates_card line 87