Theorem Polynomial.expand_inj

Modification history