Theorem Polynomial.card_support_le_one_of_eraseLead_eq_zero

Modification history