OAI/Analysis/Triangular/Certificate/ParamActual.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.parameterExpBox2 line 8
2. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExpBox2_calc line 9
3. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExp2_bound line 11
4. def OAI.AtomicTriangular.FiniteCertificate.parameterExpBox3 line 20
5. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExpBox3_calc line 21
6. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExp3_bound line 23
7. def OAI.AtomicTriangular.FiniteCertificate.parameterExpBox6 line 32
8. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExpBox6_calc line 33
9. lemma OAI.AtomicTriangular.FiniteCertificate.parameterExp6_bound line 35
10. lemma OAI.AtomicTriangular.FiniteCertificate.exp_neg_one_bound line 44
11. lemma OAI.AtomicTriangular.Construction.gaussianZ_bounds line 52
12. lemma OAI.AtomicTriangular.Construction.exp_parameter_mono line 65
13. lemma OAI.AtomicTriangular.Construction.delta_parameter_bound line 71
14. lemma OAI.AtomicTriangular.Construction.actualParameter_mem line 100