Theorem Polynomial.binomial_eq_binomial

Modification history