Theorem LinearMap.IsStarProjection.ext_iff

Modification history