OAI/Geometry/CylinderCovering/Physical/Triangles.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RadialPhysical.ExplicitTriangles.upper_scalarBound line 16
  2. lemma OAI.RadialPhysical.ExplicitTriangles.lower_scalarBound line 29
  3. lemma OAI.RadialPhysical.ExplicitTriangles.upper_error line 42
  4. lemma OAI.RadialPhysical.ExplicitTriangles.lower_error line 49
  5. lemma OAI.RadialPhysical.ExplicitTriangles.upper_coordinateMap line 56
  6. lemma OAI.RadialPhysical.ExplicitTriangles.lower_coordinateMap line 64
  7. lemma OAI.RadialPhysical.ExplicitTriangles.upper_vertices line 71
  8. lemma OAI.RadialPhysical.ExplicitTriangles.lower_vertices line 86
  9. lemma OAI.RadialPhysical.ExplicitTriangles.upper_base line 101
  10. lemma OAI.RadialPhysical.ExplicitTriangles.lower_base line 107
  11. lemma OAI.RadialPhysical.ExplicitTriangles.upper_speed line 113
  12. lemma OAI.RadialPhysical.ExplicitTriangles.lower_speed line 125
  13. lemma OAI.RadialPhysical.ExplicitTriangles.upper_area line 137
  14. lemma OAI.RadialPhysical.ExplicitTriangles.lower_area line 149
  15. def OAI.RadialPhysical.ExplicitTriangles.upperCylinder line 161
  16. def OAI.RadialPhysical.ExplicitTriangles.lowerCylinder line 166
  17. theorem OAI.RadialPhysical.ExplicitTriangles.upperCylinder_axis line 171
  18. theorem OAI.RadialPhysical.ExplicitTriangles.lowerCylinder_axis line 177
  19. theorem OAI.RadialPhysical.ExplicitTriangles.upperCylinder_base line 183
  20. theorem OAI.RadialPhysical.ExplicitTriangles.lowerCylinder_base line 189
  21. theorem OAI.RadialPhysical.ExplicitTriangles.upperCylinder_area line 195
  22. theorem OAI.RadialPhysical.ExplicitTriangles.lowerCylinder_area line 204
  23. theorem OAI.RadialPhysical.ExplicitTriangles.upper_actual_enclosure line 213
  24. theorem OAI.RadialPhysical.ExplicitTriangles.lower_actual_enclosure line 221
  25. theorem OAI.RadialPhysical.ExplicitTriangles.upper_cover line 229
  26. theorem OAI.RadialPhysical.ExplicitTriangles.lower_cover line 239
  27. theorem OAI.RadialPhysical.ExplicitTriangles.upper_total_tendsto line 249
  28. theorem OAI.RadialPhysical.ExplicitTriangles.lower_total_tendsto line 263
  29. theorem OAI.RadialPhysical.ExplicitTriangles.total_tendsto line 277
  30. theorem OAI.RadialPhysical.ExplicitTriangles.localArea_pos line 291
  31. theorem OAI.RadialPhysical.ExplicitTriangles.physical_triangle_construction line 306
  32. theorem OAI.RadialPhysical.ExplicitTriangles.upperActual_area_le line 326
  33. theorem OAI.RadialPhysical.ExplicitTriangles.lowerActual_area_le line 338
  34. theorem OAI.RadialPhysical.ExplicitTriangles.actualCost_le_formula line 350