Theorem Polynomial.exists_eval_ne_zero_of_natDegree_lt_card

Modification history