Theorem Polynomial.support_binomial'

Modification history