OAI/Combinatorics/ThinTrees/Assignment.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.compatible_ne line 17
  2. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.phaseToken line 22
  3. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restriction_not_fresh line 26
  4. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restriction_token line 33
  5. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.interior_width line 40
  6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.interior_ball_subset line 45
  7. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.labeled_singleton line 55
  8. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.labeled_insert line 63
  9. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.avoiding_operation line 72
  10. def OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrictionSet line 184
  11. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.mem_restrictionSet line 187
  12. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrictionSet_valid line 191
  13. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrictionSet_refines line 200
  14. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrictionSet_token line 206
  15. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.restrictions_compatible line 215
  16. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.dense_operation line 224
  17. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.central_refines line 330
  18. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.Record.hollow_token line 339
  19. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.sparse_operation line 349