OAI/Analysis/Triangular/Taylor/TaylorExp10.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_1 line 9
2. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_1_calc line 40
3. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_1_mem line 43
4. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_3 line 48
5. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_3_calc line 79
6. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_3_mem line 82
7. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_4 line 87
8. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_4_calc line 118
9. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_4_mem line 121
10. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_7 line 126
11. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_7_calc line 157
12. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_7_mem line 160
13. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_9 line 165
14. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_9_calc line 196
15. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_9_mem line 199
16. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_12 line 204
17. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_12_calc line 235
18. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_12_mem line 238
19. def OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_13 line 243
20. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_13_calc line 274
21. lemma OAI.AtomicTriangular.FiniteCertificate.taylorExp1_0_13_mem line 277