Theorem EuclideanGeometry.eq_orthogonalProjection_of_eq_subspace

Modification history