OAI/Geometry/HeilbronnTriangle/NonzeroWeightedCount.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.NonzeroWeightedCount.IntMatrix line 15
  2. def OAI.Problem355.NonzeroWeightedCount.columnTriple line 17
  3. lemma OAI.Problem355.NonzeroWeightedCount.columnTriple_injective line 20
  4. lemma OAI.Problem355.NonzeroWeightedCount.columnTriple_det line 31
  5. def OAI.Problem355.NonzeroWeightedCount.anisotropicConstant line 37
  6. lemma OAI.Problem355.NonzeroWeightedCount.anisotropicConstant_pos line 39
  7. theorem OAI.Problem355.NonzeroWeightedCount.anisotropic_estimate line 42
  8. def OAI.Problem355.NonzeroWeightedCount.latticeConstant line 61
  9. lemma OAI.Problem355.NonzeroWeightedCount.latticeConstant_pos line 63
  10. theorem OAI.Problem355.NonzeroWeightedCount.lattice_count line 67
  11. theorem OAI.Problem355.NonzeroWeightedCount.weighted_lattice_count line 79
  12. def OAI.Problem355.NonzeroWeightedCount.boxConstant line 98
  13. lemma OAI.Problem355.NonzeroWeightedCount.boxConstant_pos line 100
  14. theorem OAI.Problem355.NonzeroWeightedCount.weighted_box_count line 104
  15. lemma OAI.Problem355.NonzeroWeightedCount.row_norm_le_four_mul line 131
  16. theorem OAI.Problem355.NonzeroWeightedCount.weighted_orbit_count line 157