Theorem ascPochhammer_eval_one

Modification history