OAI/Probability/SKValue/Equations/UniformPolynomial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SKValue.BoundedUniformLimit line 9
2. lemma OAI.SKValue.BoundedUniformLimit.const line 12
3. lemma OAI.SKValue.BoundedUniformLimit.seq line 17
4. lemma OAI.SKValue.BoundedUniformLimit.add line 25
5. lemma OAI.SKValue.BoundedUniformLimit.mul line 33
6. lemma OAI.SKValue.BoundedUniformLimit.neg line 59
7. lemma OAI.SKValue.BoundedUniformLimit.sub line 62
8. lemma OAI.SKValue.BoundedUniformLimit.pow line 66