Theorem EuclideanGeometry.orthogonalProjection_eq_self_iff

Modification history