Theorem ContinuousLinearMap.isStarProjection_iff_isSymmetricProjection

Modification history