Theorem Algebra.IsAlgebraic.range_eval_eq_rootSet_minpoly

Modification history