Theorem ascPochhammer_pos

Modification history