Theorem LinearMap.IsPositive.adjoint_eq

Modification history