Theorem ContinuousLinearMap.IsPositive.isSelfAdjoint

Modification history