Theorem descPochhammer_succ_eval

Modification history