Mathlib Changelog
v4
Changelog
About
Github
Theorem
padicValNat_choose'
Modification history
2023-09-03 14:49
Mathlib/NumberTheory/Padics/PadicVal.lean
feat(NumberTheory/Padics/PadicVal): factorial_choose' (#5860) …
Added
padicValNat_choose'
View on Github →