OAI/Geometry/CylinderCovering/Ruled/ZeroDiagonal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RuledApproximation.inner_vec2_left line 10
2. lemma OAI.RuledApproximation.plane_trace_coordinates line 16
3. lemma OAI.RuledApproximation.trace_zero_unit_isotropic line 28
4. theorem OAI.RuledApproximation.orthogonalZeroDiagonal_proof line 58