Theorem LinearMap.IsPositive.conj_adjoint

Modification history