OAI/Probability/ThorpCompatibility/Model.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ThorpCompatibility.Rows line 9

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

2. abbrev OAI.ThorpCompatibility.Cols line 10

   Also declared: ComparatorChallenges/ThorpWeightedCompatibility.lean:10 (same declaration text).

3. abbrev OAI.ThorpCompatibility.Grid line 11
4. def OAI.ThorpCompatibility.Compatible line 13

   Also declared: ComparatorChallenges/ThorpWeightedCompatibility.lean:12 (same declaration text).

5. def OAI.ThorpCompatibility.uniformMean line 16

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

6. def OAI.ThorpCompatibility.marginalFactor line 19

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

7. def OAI.ThorpCompatibility.weightedCompatibility line 23

   Also declared: ComparatorChallenges/ThorpWeightedCompatibility.lean:22 (same declaration text).

8. def OAI.ThorpCompatibility.WeightedCompatibilityTheorem line 32

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