Theorem EuclideanGeometry.orthogonalProjection_orthogonalProjection

Modification history