Theorem Polynomial.card_support_eq_one_of_eraseLead_eq_zero

Modification history