Theorem EuclideanGeometry.inter_eq_singleton_orthogonalProjectionFn

Modification history