Def Int.multichoose

Modification history

2024-01-17 22:12
Mathlib/RingTheory/Binomial.lean
chore: tidy various files (#9728)
Modified Int.multichooseView on Github →
2024-01-10 08:02
Mathlib/RingTheory/Binomial.lean
feat: BinomialRing instance for integers (#9537) …
Added Int.multichooseView on Github →