Theorem Matrix.minpoly_toLin

Modification history