Theorem Polynomial.eraseLead_support_card_lt

Modification history