Theorem descPochhammer_zero

Modification history