Theorem Polynomial.factorial_smul_hasseDeriv

Modification history