Theorem euclidean_geometry.orthogonal_projection_vadd_smul_vsub_orthogonal_projection
Modification history
2020-08-24 19:17
src/geometry/euclidean.lean
refactor(geometry/euclidean): split up file (#3926) …
Modified euclidean_geometry.orthogonal_projection_vadd_smul_vsub_orthogonal_projectionView on Github →