OAI/Analysis/Triangular/Signs/RemainderNorm.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.taylorNorm00 line 9
2. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm00_check line 10
3. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm00_mem line 13
4. def OAI.AtomicTriangular.FiniteCertificate.taylorNorm01 line 16
5. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm01_check line 17
6. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm01_mem line 20
7. def OAI.AtomicTriangular.FiniteCertificate.taylorNorm10 line 23
8. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm10_check line 24
9. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm10_mem line 27
10. def OAI.AtomicTriangular.FiniteCertificate.taylorNorm11 line 30
11. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm11_check line 31
12. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNorm11_mem line 34
13. def OAI.AtomicTriangular.FiniteCertificate.taylorNormTable line 37
14. lemma OAI.AtomicTriangular.FiniteCertificate.taylorNormTable_mem line 38