Theorem ascPochhammer_natDegree

Modification history