Theorem ContinuousLinearMap.IsPositive.adjoint_conj

Modification history