Theorem Ring.descPochhammer_smeval_add

Modification history

2025-05-01 12:28
Mathlib/RingTheory/Binomial.lean
chore: whitespace still (#24501) …
Modified Ring.descPochhammer_smeval_addView on Github →
2024-07-17 02:03
Mathlib/RingTheory/Binomial.lean
feat (RingTheory/Binomial): Chu-Vandermonde identity (#14808) …
Added Ring.descPochhammer_smeval_addView on Github →