Theorem EuclideanGeometry.orthogonalProjection_mem_orthogonal

Modification history