Theorem LinearMap.IsSymmetric.eigenvalues_antitone

Modification history