Theorem Algebra.IsAlgebraic.range_eval_eq_rootSet_minpoly_of_splits

Modification history