OAI/Combinatorics/TriangleRemoval/Model.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SharpTerminalLeave.Graph line 13

   Also declared: ComparatorChallenges/TriangleRemoval.lean:13 (same declaration text).

2. def OAI.SharpTerminalLeave.completeGraph line 15

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

3. def OAI.SharpTerminalLeave.triangles line 17

   Also declared: ComparatorChallenges/TriangleRemoval.lean:17 (same declaration text).

4. def OAI.SharpTerminalLeave.step line 20

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

5. def OAI.SharpTerminalLeave.evolve line 25

   Also declared: ComparatorChallenges/TriangleRemoval.lean:25 (same declaration text).

6. def OAI.SharpTerminalLeave.terminalLaw line 29

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

7. def OAI.SharpTerminalLeave.expectation line 32

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

8. def OAI.SharpTerminalLeave.probability line 35

   Also declared: ComparatorChallenges/TriangleRemoval.lean:35 (same declaration text).

9. def OAI.SharpTerminalLeave.normalization line 39

   Also declared: ComparatorChallenges/TriangleRemoval.lean:39 (same declaration text).

10. def OAI.SharpTerminalLeave.normalizedLeave line 41

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

11. def OAI.SharpTerminalLeave.sharpConstant line 44

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