OAI/Analysis/Triangular/Signs/SineGrid1.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.cellFactors10 line 8
2. lemma OAI.AtomicTriangular.Construction.cellGeometry10 line 12
3. lemma OAI.AtomicTriangular.Construction.cellFactors11 line 24
4. lemma OAI.AtomicTriangular.Construction.cellGeometry11 line 28
5. lemma OAI.AtomicTriangular.Construction.cellFactors12 line 40
6. lemma OAI.AtomicTriangular.Construction.cellGeometry12 line 44
7. lemma OAI.AtomicTriangular.Construction.cellFactors13 line 56
8. lemma OAI.AtomicTriangular.Construction.cellGeometry13 line 60
9. lemma OAI.AtomicTriangular.Construction.cellFactors14 line 72
10. lemma OAI.AtomicTriangular.Construction.cellGeometry14 line 76
11. lemma OAI.AtomicTriangular.Construction.cellFactors15 line 88
12. lemma OAI.AtomicTriangular.Construction.cellGeometry15 line 92
13. lemma OAI.AtomicTriangular.Construction.cellFactors16 line 104
14. lemma OAI.AtomicTriangular.Construction.cellGeometry16 line 108
15. lemma OAI.AtomicTriangular.Construction.cellFactors17 line 120
16. lemma OAI.AtomicTriangular.Construction.cellGeometry17 line 124
17. lemma OAI.AtomicTriangular.Construction.cellFactors18 line 136
18. lemma OAI.AtomicTriangular.Construction.cellGeometry18 line 140
19. lemma OAI.AtomicTriangular.Construction.cellFactors19 line 152
20. lemma OAI.AtomicTriangular.Construction.cellGeometry19 line 156