Theorem descPochhammer_natDegree

Modification history

2023-10-26 11:12
Mathlib/RingTheory/Polynomial/Pochhammer.lean
chore: fix whitespace typos (#7950)
Modified descPochhammer_natDegreeView on Github →
2023-09-14 15:54
Mathlib/RingTheory/Polynomial/Pochhammer.lean
feat: descPochhammer_natDegree (#6929) …
Added descPochhammer_natDegreeView on Github →