OAI/Probability/ThorpCompatibility/ClumpParameters.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.eventual_clump_parameters line 12
2. lemma OAI.ThorpCompatibility.clump_small_parameter line 42
3. lemma OAI.ThorpCompatibility.clump_polynomial_parameter line 72
4. lemma OAI.ThorpCompatibility.clump_mgf_of_parameters line 81
5. lemma OAI.ThorpCompatibility.eventual_clump_mgf line 102