Theorem Ring.smeval_ascPochhammer_int_ofNat

Modification history