Theorem ascPochhammer_eval_zero

Modification history