Theorem LinearMap.IsPositive.nonneg_eigenvalues

Modification history