Theorem monic_pochhammer

Modification history

2023-09-15 07:16

Mathlib/RingTheory/Polynomial/Pochhammer.lean

chore: fix pochhammer names (#7161) …

Deleted monic_pochhammer View on Github →

2023-09-06 16:43

Mathlib/RingTheory/Polynomial/Pochhammer.lean

feat: Monic pochhammer (#6906)

Added monic_pochhammer View on Github →