Theorem ascPochhammer_succ_eval

Modification history