OAI/Combinatorics/TreewidthL1/AnchorGeometry.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.BoundedTreewidthL1.AnchorExperiment.TestParameters line 12
2. structure OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry line 37

   Source documentation

   All properties here are literal shortest-path/bag geometry.

   structure PathGeometry where
   …

3. abbrev OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.node line 66
4. abbrev OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.δ line 67
5. abbrev OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.err line 68
6. abbrev OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.cached line 69
7. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.lower_near line 70
8. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.proxy_upper line 74
9. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.numerical_test line 82
10. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.trivial_test line 98
11. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.launch line 105
12. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.budget line 120
13. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.bounded_tau line 130
14. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.small line 135
15. lemma OAI.BoundedTreewidthL1.AnchorExperiment.PathGeometry.obstruction line 168