Theorem LinearMap.minpoly_toMatrix

Modification history