OAI/Geometry/CylinderCovering/Beams/Geometry.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ShortenedBeam.root_two_ne line 12
  2. lemma OAI.ShortenedBeam.root_two_sq line 13
  3. def OAI.ShortenedBeam.normalizationMap line 15
  4. lemma OAI.ShortenedBeam.normalizationMap_point line 18
  5. lemma OAI.ShortenedBeam.tetrahedron_eq_normalization line 25
  6. lemma OAI.ShortenedBeam.vertices_eq_normalization line 45
  7. lemma OAI.ShortenedBeam.tetrahedron_eq_vertices line 52
  8. lemma OAI.ShortenedBeam.vertices_affineIndependent line 61
  9. lemma OAI.ShortenedBeam.vertices_edge_length line 68
  10. lemma OAI.ShortenedBeam.tetrahedron_minimum_shadow line 79
  11. lemma OAI.ShortenedBeam.tetrahedron_regular line 89
  12. theorem OAI.ShortenedBeam.geometry_of_volume line 93
  13. lemma OAI.ShortenedBeam.tetrahedron_volume line 97
  14. theorem OAI.ShortenedBeam.geometryStatement line 105