Theorem LinearMap.IsPositive.of_isStarProjection

Modification history