OAI/Probability/SpanningForest/EdgeAllocation.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.EdgeAllocation.neighborRank line 9
2. lemma OAI.Problem336.EdgeAllocation.neighborRank_strictMono line 12
3. lemma OAI.Problem336.EdgeAllocation.neighborRank_injOn line 25
4. def OAI.Problem336.EdgeAllocation.source line 35
5. def OAI.Problem336.EdgeAllocation.target line 38
6. def OAI.Problem336.EdgeAllocation.coordinate line 41
7. lemma OAI.Problem336.EdgeAllocation.rawPair_source_target line 44
8. lemma OAI.Problem336.EdgeAllocation.adjacent_source_target line 51
9. theorem OAI.Problem336.EdgeAllocation.coordinate_injOn line 60
10. lemma OAI.Problem336.EdgeAllocation.neighborRank_relabel line 76
11. lemma OAI.Problem336.EdgeAllocation.source_relabel line 93
12. lemma OAI.Problem336.EdgeAllocation.target_relabel line 105
13. theorem OAI.Problem336.EdgeAllocation.coordinate_relabel line 117