Theorem minpoly.eq_iff_aeval_minpoly_eq_zero

Modification history