OAI/Probability/ThorpCompatibility/PermutationProbability.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.prescribed_function_probability_le line 12
2. def OAI.ThorpCompatibility.uniformProbability line 38
3. lemma OAI.ThorpCompatibility.uniformProbability_def line 42
4. lemma OAI.ThorpCompatibility.uniformProbability_nonneg line 48
5. lemma OAI.ThorpCompatibility.uniformProbability_eq_zero line 53
6. lemma OAI.ThorpCompatibility.uniformProbability_all line 59