Theorem pochhammer_natDegree

Modification history