Theorem EuclideanGeometry.orthogonalProjection_vsub_orthogonalProjection

Modification history