OAI/Probability/SwitchChain/Definitions.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.graphDegree line 11

   Also declared: ComparatorChallenges/SwitchChain.lean:11 (same declaration text).

2. def OAI.Problem315.Realizes line 15

   Also declared: ComparatorChallenges/SwitchChain.lean:15 (same declaration text).

3. abbrev OAI.Problem315.GraphState line 18

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

4. def OAI.Problem315.Graphical line 21

   Also declared: ComparatorChallenges/SwitchChain.lean:21 (same declaration text).

5. abbrev OAI.Problem315.FourSet line 24

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

6. def OAI.Problem315.IsPerfectMatchingOn line 26

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

7. abbrev OAI.Problem315.PerfectMatching line 31

   Also declared: ComparatorChallenges/SwitchChain.lean:31 (same declaration text).

8. abbrev OAI.Problem315.SwitchProposal line 34

   Also declared: ComparatorChallenges/SwitchChain.lean:34 (same declaration text).

9. def OAI.Problem315.removedMatching line 38

   Also declared: ComparatorChallenges/SwitchChain.lean:38 (same declaration text).

10. def OAI.Problem315.addedMatching line 41

    Also declared: ComparatorChallenges/SwitchChain.lean:41 (same declaration text).

11. def OAI.Problem315.validSwitch line 44

    Also declared: ComparatorChallenges/SwitchChain.lean:44 (same declaration text).

12. def OAI.Problem315.replaceEdges line 49

    Also declared: ComparatorChallenges/SwitchChain.lean:49 (same declaration text).

13. def OAI.Problem315.proposalResult line 67

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

14. def OAI.Problem315.allGraphStates line 75

    Also declared: ComparatorChallenges/SwitchChain.lean:75 (same declaration text).

15. def OAI.Problem315.allProposals line 80

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

16. def OAI.Problem315.stateCount line 84

    Also declared: ComparatorChallenges/SwitchChain.lean:84 (same declaration text).

17. def OAI.Problem315.switchKernel line 87

    Also declared: ComparatorChallenges/SwitchChain.lean:87 (same declaration text).

18. def OAI.Problem315.kernelPow line 96

    Also declared: ComparatorChallenges/SwitchChain.lean:96 (same declaration text).

19. def OAI.Problem315.uniformAverage line 108

    Also declared: ComparatorChallenges/SwitchChain.lean:108 (same declaration text).

20. def OAI.Problem315.uniformInner line 113

    Also declared: ComparatorChallenges/SwitchChain.lean:113 (same declaration text).

21. def OAI.Problem315.uniformVariance line 117

    Also declared: ComparatorChallenges/SwitchChain.lean:117 (same declaration text).

22. def OAI.Problem315.markovApply line 122

    Also declared: ComparatorChallenges/SwitchChain.lean:122 (same declaration text).

23. def OAI.Problem315.dirichletEnergy line 127

    Also declared: ComparatorChallenges/SwitchChain.lean:127 (same declaration text).

24. def OAI.Problem315.hasSpectralGapAtLeast line 131

    Also declared: ComparatorChallenges/SwitchChain.lean:131 (same declaration text).

25. def OAI.Problem315.tvDistanceFrom line 135

    Also declared: ComparatorChallenges/SwitchChain.lean:135 (same declaration text).

26. def OAI.Problem315.MixedAt line 142

    Also declared: ComparatorChallenges/SwitchChain.lean:142 (same declaration text).

27. def OAI.Problem315.mixingTime line 145

    Also declared: ComparatorChallenges/SwitchChain.lean:145 (same declaration text).

28. def OAI.Problem315.SwitchStep line 150

    Also declared: ComparatorChallenges/SwitchChain.lean:150 (same declaration text).