Commit 2023-09-15 07:16 20fb8182

View on Github →

chore: fix pochhammer names (#7161) those got somehow lost in the merges...

Estimated changes

added theorem monic_ascPochhammer
deleted theorem monic_pochhammer
deleted theorem pochhammer_natDegree