Theorem ContinuousLinearMap.IsPositive.conj_orthogonalProjection

Modification history