Theorem Polynomial.taylor_injective

Modification history