Theorem minpoly.root

Modification history