Theorem Polynomial.ascPochhammer_smeval_neg_eq_descPochhammer

Modification history