OAI/Geometry/TriangularCovering/TriangleArea.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.TriangularCovering.Planar.Coord line 11

    Also declared: ComparatorChallenges/CylinderCovering.lean:139 (same declaration text).

  2. def OAI.TriangularCovering.Planar.standard line 13

    Also declared: ComparatorChallenges/CylinderCovering.lean:141 (same declaration text).

  3. def OAI.TriangularCovering.Planar.vertices line 15

    Also declared: ComparatorChallenges/CylinderCovering.lean:143 (same declaration text).

  4. lemma OAI.TriangularCovering.Planar.standard_convex line 17
  5. lemma OAI.TriangularCovering.Planar.standard_eq_convexHull line 25
  6. lemma OAI.TriangularCovering.Planar.standard_compact line 39
  7. lemma OAI.TriangularCovering.Planar.closed_region_volume line 43
  8. lemma OAI.TriangularCovering.Planar.standard_volume line 57
  9. def OAI.TriangularCovering.triangle line 91

    Also declared: ComparatorChallenges/CylinderCovering.lean:152 (same declaration text).

  10. def OAI.TriangularCovering.twoSpan line 93
  11. lemma OAI.TriangularCovering.twoSpan_apply line 96
  12. lemma OAI.TriangularCovering.triangle_image_linear line 99
  13. lemma OAI.TriangularCovering.triangle_image_affine line 107
  14. lemma OAI.TriangularCovering.triangle_zero_image line 115
  15. lemma OAI.TriangularCovering.triangle_translate line 122
  16. lemma OAI.TriangularCovering.mem_triangle_iff line 127
  17. def OAI.TriangularCovering.Planar.wedge line 141
  18. lemma OAI.TriangularCovering.Planar.twoSpan_det line 143
  19. lemma OAI.TriangularCovering.Planar.triangle_volume line 153
  20. lemma OAI.TriangularCovering.measurePreserving_image line 166
  21. def OAI.TriangularCovering.planeCoord line 175
  22. lemma OAI.TriangularCovering.planeCoord_measurePreserving line 178
  23. lemma OAI.TriangularCovering.planeCoord_gram line 183
  24. lemma OAI.TriangularCovering.volume_triangle_basis line 193
  25. lemma OAI.TriangularCovering.subspace_triangle_measure line 213
  26. lemma OAI.TriangularCovering.perpendicular_triangle_measure line 228