Theorem ascPochhammer_eval_neg_eq_descPochhammer

Modification history

2024-01-10 08:02
Mathlib/RingTheory/Polynomial/Pochhammer.lean
feat: BinomialRing instance for integers (#9537) …
Added ascPochhammer_eval_neg_eq_descPochhammerView on Github →