Theorem LinearMap.IsPositive.of_isSymmetricProjection

Modification history