Theorem ContinuousLinearMap.IsPositive.conj_adjoint

Modification history