Theorem minpoly.eq_of_irreducible

Modification history