OAI/Geometry/SurfaceImmersion/Primitive/VelocityPlaneBasis.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Coordinates in the actual two-dimensional velocity plane.

  1. lemma OAI.ClosedSurfaceR4.VelocityFrame.velocity_frame_independent line 12
  2. lemma OAI.ClosedSurfaceR4.VelocityFrame.orthogonal_frame_eq_zero line 45
  3. def OAI.ClosedSurfaceR4.VelocityFrame.planeCoordinates line 59
  4. theorem OAI.ClosedSurfaceR4.VelocityFrame.plane_coordinates_reconstruct line 61
  5. lemma OAI.ClosedSurfaceR4.VelocityFrame.plane_coordinates_length line 73