Theorem pochhammer_zero_eval_zero

Modification history