Theorem descPochhammer_succ_comp_X_sub_one

Modification history