OAI/MeasureTheory/FalconerCompletion/Recursion/AssemblyListsCard.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Recursive policies and quantitative depth estimates.

  1. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyLists_card line 23
  2. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyDescriptor_scale line 39
  3. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assembly_pairMask_eq line 53
  4. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assembly_endpoint_radial_left line 65
  5. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assembly_endpoint_radial_right line 71
  6. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assembly_pairMask_radial_measurable line 78
  7. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assembly_pairMask_measurable line 89