Theorem descPochhammer_succ_left

Modification history