OAI/Probability/ThorpResults/Statements.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ThorpResults.FrameMain line 17

   Also declared: ComparatorChallenges/ThorpRemaining.lean:488 (same declaration text).

2. def OAI.ThorpResults.InformationMain line 21

   Also declared: ComparatorChallenges/ThorpRemaining.lean:492 (same declaration text).

3. def OAI.ThorpResults.SpectrumMain line 36

   Also declared: ComparatorChallenges/ThorpRemaining.lean:507 (same declaration text).

4. def OAI.ThorpResults.SignedMain line 41

   Also declared: ComparatorChallenges/ThorpRemaining.lean:512 (same declaration text).

5. def OAI.ThorpResults.DegreeSavingMain line 49

   Also declared: ComparatorChallenges/ThorpRemaining.lean:520 (same declaration text).

6. def OAI.ThorpResults.FullDensityMain line 57

   Also declared: ComparatorChallenges/ThorpRemaining.lean:528 (same declaration text).

7. def OAI.ThorpResults.ForwardMixingMain line 61

   Also declared: ComparatorChallenges/ThorpRemaining.lean:532 (same declaration text).

8. def OAI.ThorpResults.OptimalOrderMain line 65

   Also declared: ComparatorChallenges/ThorpRemaining.lean:536 (same declaration text).