Commit 2024-01-10 08:02 bf66c907

feat: BinomialRing instance for integers (#9537) We add a binomial ring instance for integers. To prove the necessary identity for negative integers, we add a lemma comparing evaluations of ascending and descending Pochhammer polynomials.