OAI/Analysis/Triangular/Signs/SineGrid2.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.cellFactors20 line 8
2. lemma OAI.AtomicTriangular.Construction.cellGeometry20 line 12
3. lemma OAI.AtomicTriangular.Construction.cellFactors21 line 24
4. lemma OAI.AtomicTriangular.Construction.cellGeometry21 line 28
5. lemma OAI.AtomicTriangular.Construction.cellFactors22 line 40
6. lemma OAI.AtomicTriangular.Construction.cellGeometry22 line 44
7. lemma OAI.AtomicTriangular.Construction.cellFactors23 line 56
8. lemma OAI.AtomicTriangular.Construction.cellGeometry23 line 60
9. lemma OAI.AtomicTriangular.Construction.cellFactors24 line 72
10. lemma OAI.AtomicTriangular.Construction.cellGeometry24 line 76
11. lemma OAI.AtomicTriangular.Construction.cellFactors25 line 88
12. lemma OAI.AtomicTriangular.Construction.cellGeometry25 line 92
13. lemma OAI.AtomicTriangular.Construction.cellFactors26 line 104
14. lemma OAI.AtomicTriangular.Construction.cellGeometry26 line 108
15. lemma OAI.AtomicTriangular.Construction.cellFactors27 line 120
16. lemma OAI.AtomicTriangular.Construction.cellGeometry27 line 124
17. lemma OAI.AtomicTriangular.Construction.cellFactors28 line 136
18. lemma OAI.AtomicTriangular.Construction.cellGeometry28 line 140
19. lemma OAI.AtomicTriangular.Construction.cellFactors29 line 152
20. lemma OAI.AtomicTriangular.Construction.cellGeometry29 line 156