OAI/Geometry/HeilbronnTriangle/RowLatticeDuality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem355.RowLattice.mapped_rowImage_annihilator_iff line 14
2. lemma OAI.Problem355.RowLattice.reduction_dotProduct line 34
3. lemma OAI.Problem355.RowLattice.dvd_dotProduct_iff line 38
4. lemma OAI.Problem355.RowLattice.map_reduction line 42
5. theorem OAI.Problem355.RowLattice.forall_dvd_dotProduct_iff line 47
6. theorem OAI.Problem355.RowLattice.dvd_dotGenerator_iff line 71
7. theorem OAI.Problem355.RowLattice.dotGenerator_dvd_larger_power line 85