OAI/Analysis/Triangular/Taylor/TaylorPhase.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.taylorPhaseBox line 9
2. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhaseBox_mem line 13
3. def OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_0 line 21
4. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_0_calc line 52
5. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_0_mem line 55
6. def OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_1 line 58
7. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_1_calc line 89
8. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase0_1_mem line 92
9. def OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_0 line 95
10. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_0_calc line 126
11. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_0_mem line 129
12. def OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_1 line 132
13. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_1_calc line 163
14. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhase1_1_mem line 166
15. def OAI.AtomicTriangular.FiniteCertificate.taylorPhaseTable line 169
16. lemma OAI.AtomicTriangular.FiniteCertificate.taylorPhaseTable_mem line 170
17. def OAI.AtomicTriangular.FiniteCertificate.nearNode line 177