Theorem descPochhammer_zero_eval_zero

Modification history