Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-17 13:15
f9b4adb7
View on Github →
chore(Data/Nat/Choose/Multinomial): Fix typo in module docstring (
#8390
)
Estimated changes
Modified
Mathlib/Data/Nat/Choose/Multinomial.lean