Theorem Polynomial.span_minpoly_eq_annihilator

Modification history