Theorem descPochhammer_eq_ascPochhammer

Modification history