Theorem Polynomial.expand_injective

Modification history