OAI/Combinatorics/ThinTrees/Capture.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.BoundaryRatio line 18
2. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedFamily.boundary_mass line 21
3. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.Fresh line 45
4. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.Ratios line 49
5. def OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.GeometricAt line 53
6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.geometric_of line 57
7. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.prune_sequence line 66
8. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.AssignedSequence.assigned_bound line 110
9. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.assigned_from_net line 134
10. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.boundary_owner_unique line 222
11. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.parentBoundary_multiplicity line 235
12. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.subset_boundary_multiplicity line 275
13. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.capture_small_balls line 312