Theorem Ring.smeval_ascPochhammer_neg_of_lt

Modification history