Theorem Nat.sum_le_ofDigits

Modification history

2024-04-14 10:41
Mathlib/Data/Nat/Digits.lean
chore: remove autoImplicit from more files (#11798) …
Modified Nat.sum_le_ofDigitsView on Github →
2023-11-09 12:45
Mathlib/Data/Nat/Digits.lean
style: add missing spaces around colons (#8293) …
Modified Nat.sum_le_ofDigitsView on Github →
2023-08-11 05:07
Mathlib/Data/Nat/Digits.lean
feat(Data/Nat/Digits): sum_le_ofDigits (#6493)
Added Nat.sum_le_ofDigitsView on Github →