Theorem descPochhammer_succ_right

Modification history