OAI/Geometry/RuledCovering/Frames.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.RuledApproximation.Coordinates line 12
2. def OAI.RuledApproximation.frameJacobian line 14
3. lemma OAI.RuledApproximation.frameJacobian_pos line 17
4. lemma OAI.RuledApproximation.frame_integral_image line 21
5. lemma OAI.RuledApproximation.frame_volume_image line 38
6. lemma OAI.RuledApproximation.coordinates_closedBall line 42
7. lemma OAI.RuledApproximation.coordinates_closedBall_volume line 49
8. lemma OAI.RuledApproximation.coordinates_closedBall_parallelogram line 57