OAI/Analysis/Triangular/Construction/CurvatureBoxes.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.curvatureWave line 12
2. def OAI.AtomicTriangular.Construction.curvaturePoint line 14
3. def OAI.AtomicTriangular.Construction.rawCurvatureColumn line 15
4. def OAI.AtomicTriangular.Construction.rawConstantCurvature line 17
5. def OAI.AtomicTriangular.Construction.rawTailCurvature line 19
6. def OAI.AtomicTriangular.FiniteCertificate.curvaturePointBox line 25
7. lemma OAI.AtomicTriangular.FiniteCertificate.curvaturePointBox_mem line 27
8. def OAI.AtomicTriangular.FiniteCertificate.amplitudeNormBox line 29
9. lemma OAI.AtomicTriangular.FiniteCertificate.amplitudeNormBox_mem line 31
10. def OAI.AtomicTriangular.FiniteCertificate.curvatureExpInput line 39
11. def OAI.AtomicTriangular.FiniteCertificate.curvatureBox line 41
12. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureBox_mem line 44