Theorem descPochhammer_natDegree

Modification history