Theorem Polynomial.eq_zero_of_natDegree_lt_card_of_eval_eq_zero

Modification history