OAI/Analysis/Triangular/Signs/SineGrid0.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.cellFactors00 line 8
2. lemma OAI.AtomicTriangular.Construction.cellGeometry00 line 12
3. lemma OAI.AtomicTriangular.Construction.cellFactors01 line 24
4. lemma OAI.AtomicTriangular.Construction.cellGeometry01 line 28
5. lemma OAI.AtomicTriangular.Construction.cellFactors02 line 40
6. lemma OAI.AtomicTriangular.Construction.cellGeometry02 line 44
7. lemma OAI.AtomicTriangular.Construction.cellFactors03 line 56
8. lemma OAI.AtomicTriangular.Construction.cellGeometry03 line 60
9. lemma OAI.AtomicTriangular.Construction.cellFactors04 line 72
10. lemma OAI.AtomicTriangular.Construction.cellGeometry04 line 76
11. lemma OAI.AtomicTriangular.Construction.cellFactors05 line 88
12. lemma OAI.AtomicTriangular.Construction.cellGeometry05 line 92
13. lemma OAI.AtomicTriangular.Construction.cellFactors06 line 104
14. lemma OAI.AtomicTriangular.Construction.cellGeometry06 line 108
15. lemma OAI.AtomicTriangular.Construction.cellFactors07 line 120
16. lemma OAI.AtomicTriangular.Construction.cellGeometry07 line 124
17. lemma OAI.AtomicTriangular.Construction.cellFactors08 line 136
18. lemma OAI.AtomicTriangular.Construction.cellGeometry08 line 140
19. lemma OAI.AtomicTriangular.Construction.cellFactors09 line 152
20. lemma OAI.AtomicTriangular.Construction.cellGeometry09 line 156