Theorem EuclideanGeometry.orthogonalProjection_contLinear

Modification history