Theorem minpoly.irreducible

Modification history