Theorem Ring.smeval_ascPochhammer_neg_add

Modification history