OAI/Combinatorics/ThinTrees/Records.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StrongThinTree.MultiGraph.Hierarchy.domain line 14
  2. def OAI.StrongThinTree.MultiGraph.Hierarchy.leaves line 17
  3. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.mem_domain line 20
  4. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.mem_leaves line 24
  5. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.root_mem_domain line 28
  6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.singleton_domain_iff line 36
  7. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.domain_root_test line 40
  8. structure OAI.StrongThinTree.MultiGraph.Hierarchy.Record line 70
  9. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.excluded line 81
  10. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.conflict line 84
  11. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.leafSet line 85
  12. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.routing line 86
  13. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.Shape line 88
  14. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.Protected line 91
  15. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.RoutingCertificate line 96
  16. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.Valid line 101
  17. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.root_mem line 104
  18. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.mem_leafSet line 107
  19. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.mem_routing line 110
  20. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.protected_routing_edges line 114
  21. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.variation_lower line 143
  22. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrict_valid line 151
  23. def OAI.StrongThinTree.MultiGraph.Hierarchy.LabeledArrangement line 173
  24. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.labeled_energy line 179
  25. def OAI.StrongThinTree.MultiGraph.Hierarchy.parentBoundary line 224
  26. def OAI.StrongThinTree.MultiGraph.Hierarchy.LocallyConnectedReal line 227
  27. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.parent_boundary_lower line 229
  28. structure OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag line 235
  29. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.input line 251
  30. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.input_leaf line 254
  31. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.input_valid line 286