Theorem LinearMap.IsPositive.isSelfAdjoint

Modification history