Theorem LinearMap.IsSymmetricProjection.hasOrthogonalProjection_range

Modification history