OAI/Probability/SATVariance/Model.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.RandomKSAT.Assignment line 11

   Also declared: ComparatorChallenges/SATSharpness.lean:13 (same declaration text), ComparatorChallenges/SATVariance.lean:11 (same declaration text).

2. def OAI.RandomKSAT.Clause line 13

   Also declared: ComparatorChallenges/SATSharpness.lean:15 (same declaration text), ComparatorChallenges/SATVariance.lean:13 (same declaration text).

3. instance OAI.RandomKSAT.clauseFintype line 16

   Also declared: ComparatorChallenges/SATSharpness.lean:18 (same declaration text), ComparatorChallenges/SATVariance.lean:16 (same declaration text).

4. instance OAI.RandomKSAT.clauseMeasurableSpace line 21

   Also declared: ComparatorChallenges/SATSharpness.lean:23 (same declaration text), ComparatorChallenges/SATVariance.lean:21 (same declaration text).

5. instance OAI.RandomKSAT.clauseMeasurableSingletonClass line 23

   Also declared: ComparatorChallenges/SATSharpness.lean:25 (same declaration text), ComparatorChallenges/SATVariance.lean:23 (same declaration text).

6. def OAI.RandomKSAT.Satisfies line 26

   Also declared: ComparatorChallenges/SATSharpness.lean:28 (same declaration text), ComparatorChallenges/SATVariance.lean:26 (same declaration text).

7. abbrev OAI.RandomKSAT.Stream line 29

   Also declared: ComparatorChallenges/SATSharpness.lean:31 (same declaration text), ComparatorChallenges/SATVariance.lean:29 (same declaration text).

8. def OAI.RandomKSAT.clauseLaw line 31

   Also declared: ComparatorChallenges/SATSharpness.lean:33 (same declaration text), ComparatorChallenges/SATVariance.lean:31 (same declaration text).

9. def OAI.RandomKSAT.streamLaw line 33

   Also declared: ComparatorChallenges/SATSharpness.lean:35 (same declaration text), ComparatorChallenges/SATVariance.lean:33 (same declaration text).

10. def OAI.RandomKSAT.PrefixSAT line 36

    Also declared: ComparatorChallenges/SATVariance.lean:36 (same declaration text).

11. def OAI.RandomKSAT.firstFailure line 39

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

12. def OAI.RandomKSAT.H line 42

    Also declared: ComparatorChallenges/SATVariance.lean:42 (same declaration text).

13. def OAI.RandomKSAT.cap line 44

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

14. def OAI.RandomKSAT.T line 46

    Also declared: ComparatorChallenges/SATVariance.lean:46 (same declaration text).

15. def OAI.RandomKSAT.ell line 49

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

16. def OAI.RandomKSAT.U line 52

    Also declared: ComparatorChallenges/SATVariance.lean:52 (same declaration text).