Theorem minpoly.eq_of_irreducible_of_monic

Modification history