OAI/Analysis/Triangular/Lattice/LatticeGeometry.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.triangular_scale_eq line 9
2. lemma OAI.AtomicTriangular.triangularPoint_eq_support line 13
3. lemma OAI.AtomicTriangular.b_pos line 19
4. lemma OAI.AtomicTriangular.b_sq line 20
5. lemma OAI.AtomicTriangular.triangularPoint_norm_sq line 24
6. lemma OAI.AtomicTriangular.A_eq_support line 28
7. lemma OAI.AtomicTriangular.eisenstein_mod36_finite line 32
8. lemma OAI.AtomicTriangular.eisenstein_mod36 line 34
9. lemma OAI.AtomicTriangular.A_radial_node line 43
10. lemma OAI.AtomicTriangular.dualA_integer_coordinates line 59
11. lemma OAI.AtomicTriangular.dualA_radial_node line 72