OAI/Analysis/Triangular/Taylor/CurvatureData01.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.curvatureData01_0 line 9
  2. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_0_calc line 10
  3. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_0_pre line 13
  4. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_0_mem line 16
  5. def OAI.AtomicTriangular.FiniteCertificate.curvatureData01_1 line 19
  6. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_1_calc line 20
  7. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_1_pre line 23
  8. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_1_mem line 26
  9. def OAI.AtomicTriangular.FiniteCertificate.curvatureData01_2 line 29
  10. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_2_calc line 30
  11. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_2_pre line 33
  12. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_2_mem line 36
  13. def OAI.AtomicTriangular.FiniteCertificate.curvatureData01_3 line 39
  14. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_3_calc line 40
  15. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_3_pre line 43
  16. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_3_mem line 46
  17. def OAI.AtomicTriangular.FiniteCertificate.curvatureData01_4 line 49
  18. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_4_calc line 50
  19. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_4_pre line 53
  20. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureData01_4_mem line 56
  21. def OAI.AtomicTriangular.FiniteCertificate.curvatureTable01 line 59
  22. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTable01_mem line 60