Theorem Polynomial.ascPochhammer_smeval_cast

Modification history