OAI/Combinatorics/ThinTrees/BagBounds.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.neighbor_exists line 17
  2. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.neighbor line 38
  3. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.neighbor_spec line 41
  4. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.input_injective line 48
  5. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.input_arrangement line 53
  6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.unique_interior line 70
  7. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.strict_owner_of_interior line 85
  8. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.large_component line 112
  9. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.selected_interior line 144
  10. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.radial_group line 178
  11. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.RadialRefines line 252
  12. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.radialRefines_refl line 256
  13. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restriction_radialRefines line 259
  14. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.central_radialRefines line 263
  15. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.InteriorTo line 274
  16. def OAI.StrongThinTree.MultiGraph.Hierarchy.Evolution line 279
  17. def OAI.StrongThinTree.MultiGraph.Hierarchy.OwnerEvolution line 282
  18. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.evolution_interior line 285
  19. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.ownerEvolution_order line 295
  20. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.SameOwnerSeparated line 307
  21. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.metadata_evolution line 313
  22. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.metadata_owners line 324
  23. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.metadata_separation line 335
  24. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.metadata_fresh line 364
  25. structure OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.InteriorMove line 377
  26. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedBag.avoiding_move line 394