Theorem Polynomial.card_support_eraseLead'

Modification history