Theorem Polynomial.eraseLead_card_support'

Modification history