Theorem LinearMap.isStarProjection_iff_isSymmetricProjection

Modification history