Theorem ascPochhammer_mul

Modification history