OAI/Analysis/Triangular/Signs/RemainderSums1.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_0 line 9
2. lemma OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_0_calc line 10
3. lemma OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_0_bound line 13
4. def OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_1 line 18
5. lemma OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_1_calc line 19
6. lemma OAI.AtomicTriangular.FiniteCertificate.remainderColumns1_1_bound line 22
7. def OAI.AtomicTriangular.FiniteCertificate.remainderConst1_0 line 27
8. lemma OAI.AtomicTriangular.FiniteCertificate.remainderConst1_0_calc line 28
9. lemma OAI.AtomicTriangular.FiniteCertificate.remainderConst1_0_bound line 29
10. def OAI.AtomicTriangular.FiniteCertificate.remainderConst1_1 line 34
11. lemma OAI.AtomicTriangular.FiniteCertificate.remainderConst1_1_calc line 35
12. lemma OAI.AtomicTriangular.FiniteCertificate.remainderConst1_1_bound line 36
13. lemma OAI.AtomicTriangular.FiniteCertificate.remainderTable1 line 41