Theorem Polynomial.eq_zero_of_forall_eval_zero_of_natDegree_lt_card

Modification history