Commit 2023-09-06 16:43 5f6506b3

View on Github →

feat: Monic pochhammer (#6906)

Estimated changes

added theorem monic_pochhammer