Theorem minpoly_algEquiv_toLinearMap

Modification history