Theorem minpoly.prime

Modification history