Theorem Polynomial.card_support_eraseLead_add_one

Modification history