Theorem minpoly.eq_iff_aeval_eq_zero

Modification history