OAI/Combinatorics/SharpThreshold/Model.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem313.GraphEdge line 9

   Also declared: ComparatorChallenges/SharpThreshold.lean:9 (same declaration text).

2. abbrev OAI.Problem313.GraphConfig line 11

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

3. def OAI.Problem313.permEdge line 13

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

4. def OAI.Problem313.permuteConfig line 16

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

5. def OAI.Problem313.VertexInvariant line 20

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

6. def OAI.Problem313.ConfigLE line 24

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

7. def OAI.Problem313.IncreasingGraphProperty line 27

   Also declared: ComparatorChallenges/SharpThreshold.lean:27 (same declaration text).

8. def OAI.Problem313.NontrivialGraphProperty line 30

   Also declared: ComparatorChallenges/SharpThreshold.lean:30 (same declaration text).

9. def OAI.Problem313.boolReal line 33

   Also declared: ComparatorChallenges/SharpThreshold.lean:33 (same declaration text).

10. def OAI.Problem313.graphWeight line 38

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

11. def OAI.Problem313.graphMean line 43

    Also declared: ComparatorChallenges/SharpThreshold.lean:43 (same declaration text).

12. def OAI.Problem313.graphQuantile line 48

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

13. def OAI.Problem313.graphVariance line 51
14. def OAI.Problem313.edgeInfluence line 56
15. def OAI.Problem313.totalInfluence line 63