Commit 2023-09-06 09:06 61fa6e96

View on Github →

feat: pochhammer_natDegree (#6897)

Estimated changes

added theorem pochhammer_natDegree