OAI/Geometry/Convex/GeneralMahler/Segment/Stats.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.GeneralMahler.SCal.SE.hK line 9
  2. lemma OAI.GeneralMahler.SCal.SE.hKe line 15
  3. lemma OAI.GeneralMahler.SCal.SE.hC line 21
  4. lemma OAI.GeneralMahler.SCal.SE.hCe line 27
  5. lemma OAI.GeneralMahler.SCal.SE.hQ line 33
  6. lemma OAI.GeneralMahler.SCal.SE.hQe line 39
  7. lemma OAI.GeneralMahler.SCal.SE.hdK line 45
  8. lemma OAI.GeneralMahler.SCal.SE.hdKe line 51
  9. lemma OAI.GeneralMahler.SCal.SE.hdC line 57
  10. lemma OAI.GeneralMahler.SCal.SE.hdCe line 63
  11. lemma OAI.GeneralMahler.SCal.SE.hdQ line 69
  12. lemma OAI.GeneralMahler.SCal.SE.hddK line 75
  13. lemma OAI.GeneralMahler.SCal.SE.hddC line 81
  14. lemma OAI.GeneralMahler.SCal.SE.hddQ line 87
  15. lemma OAI.GeneralMahler.SCal.SE.hNK line 93
  16. lemma OAI.GeneralMahler.SCal.SE.hNKe line 99
  17. lemma OAI.GeneralMahler.SCal.SE.hNC line 105
  18. lemma OAI.GeneralMahler.SCal.SE.hNQ line 111
  19. lemma OAI.GeneralMahler.SCal.SE.ValY line 117
  20. lemma OAI.GeneralMahler.SCal.SE.liftD line 136
  21. lemma OAI.GeneralMahler.SCal.SE.Dt_cont line 137
  22. lemma OAI.GeneralMahler.SCal.SE.nn_cont line 139
  23. lemma OAI.GeneralMahler.SCal.SE.dist_bdd line 145