Theorem Polynomial.descPochhammer_smeval_eq_ascPochhammer

Modification history