Theorem Ring.smeval_ascPochhammer_succ_neg

Modification history