Theorem ascPochhammer_eval_succ

Modification history

2026-10-17 12:17
Mathlib/RingTheory/Polynomial/Pochhammer.lean
chore(RingTheory/Pochhammer): fix the type of ascPochhammer_eval_succ (#42827) …
Modified ascPochhammer_eval_succView on Github →
2023-09-12 12:40
Mathlib/RingTheory/Polynomial/Pochhammer.lean
chore: rename `pochhammer` (#6917) …
Added ascPochhammer_eval_succView on Github →