Theorem minpoly_algHom_toLinearMap

Modification history