OAI/Probability/SpanningForest/Definitions.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem336.GraphCode line 12

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:12 (same declaration text).

2. abbrev OAI.Problem336.EdgeCode line 16

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:16 (same declaration text).

3. abbrev OAI.Problem336.EdgeConfiguration line 18

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:18 (same declaration text).

4. abbrev OAI.Problem336.FactorRule line 20

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:20 (same declaration text).

5. abbrev OAI.Problem336.FiniteSubgraphCode line 22

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:22 (same declaration text).

6. def OAI.Problem336.Adj line 24

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:24 (same declaration text).

7. def OAI.Problem336.GraphConnected line 26

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:26 (same declaration text).

8. def OAI.Problem336.GraphLocallyFinite line 29

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:29 (same declaration text).

9. def OAI.Problem336.mkEdge line 32

   Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:32 (same declaration text).

10. def OAI.Problem336.rawPair line 37

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:37 (same declaration text).

11. def OAI.Problem336.relabelGraph line 40

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:40 (same declaration text).

12. def OAI.Problem336.relabelLabels line 48

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:48 (same declaration text).

13. def OAI.Problem336.mapEdge line 51

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:51 (same declaration text).

14. def OAI.Problem336.RuleBorel line 57

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:57 (same declaration text).

15. def OAI.Problem336.RuleEquivariant line 62

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:62 (same declaration text).

16. def OAI.Problem336.TreeAdj line 67

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:67 (same declaration text).

17. def OAI.Problem336.SubgraphAdj line 70

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:70 (same declaration text).

18. def OAI.Problem336.TreeOn line 73

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:73 (same declaration text).

19. def OAI.Problem336.spanningTrees line 80

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:80 (same declaration text).

20. def OAI.Problem336.ustCylinder line 85

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:85 (same declaration text).

21. def OAI.Problem336.IsFiniteConnectedSubgraph line 93

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:93 (same declaration text).

22. def OAI.Problem336.IsConnectedExhaustion line 101

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:101 (same declaration text).

23. def OAI.Problem336.uniform01 line 109

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:109 (same declaration text).

24. def OAI.Problem336.IsVertexIID line 112

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:112 (same declaration text).

25. def OAI.Problem336.HasFUSFLaw line 120

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:120 (same declaration text).

26. def OAI.Problem336.WorksOnGraph line 133

    Also declared: ComparatorChallenges/FreeUniformSpanningForest.lean:133 (same declaration text).

27. def OAI.Problem336.TransportEquivariant line 141
28. def OAI.Problem336.IsUnimodular line 146
29. def OAI.Problem336.GraphLawSupported line 156