Theorem Ring.multichoose_neg_self

Modification history

2025-10-21 20:48

Mathlib/RingTheory/Binomial.lean

style(RingTheory): fix whitespace (#30685) …

Modified Ring.multichoose_neg_self View on Github →

2024-07-05 03:20

Mathlib/RingTheory/Binomial.lean

feat (RingTheory/Binomial) : Multichoose at negative arguments (#13430) …

Added Ring.multichoose_neg_self View on Github →