Theorem Polynomial.eraseLead_card_support

Modification history