Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-07-10 06:57
278a8fe1
View on Github →
feat(NumberTheory/Padics/PadicVal): padicValNat_factorial_mul (
#5780
)
Estimated changes
Modified
Mathlib/NumberTheory/Padics/PadicVal.lean
added
theorem
padicValNat_factorial_mul