Theorem LinearMap.IsSymmetricProjection.ext_iff

Modification history