OAI/Combinatorics/ThinTrees/AssignedFamilies.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily line 15
  2. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.owners line 29
  3. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.mass line 30
  4. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.predecessors line 31
  5. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.ProtectedFrom line 34
  6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.owner_mem line 37
  7. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.owners_nodes line 38
  8. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.input_valid line 43
  9. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.phase line 60
  10. abbrev OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.Family line 95
  11. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.initialRadius line 97
  12. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.mass line 101
  13. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.Geometric line 105
  14. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.Ready line 109
  15. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.radius_nonneg line 113
  16. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.construct line 119
  17. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.insertable_bound line 148
  18. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.goodCenters line 174
  19. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.badCenters line 177
  20. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.badCount line 180
  21. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.boundaryCount line 182
  22. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.bad_witness line 185
  23. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.badCount_le line 201
  24. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.prune line 244