Theorem pochhammer_succ_eval

Modification history