Theorem LinearMap.IsPositive.adjoint_conj

Modification history