Theorem EuclideanGeometry.orthogonalProjection_affineSpan_singleton

Modification history