Theorem Nat.ofDigits_div_eq_ofDigits_tail

Modification history

2024-04-14 10:41
Mathlib/Data/Nat/Digits.lean
chore: remove autoImplicit from more files (#11798) …
Modified Nat.ofDigits_div_eq_ofDigits_tailView on Github →
2023-08-10 19:52
Mathlib/Data/Nat/Digits.lean
feat(Data/Nat/Digits): dividing by `p^i` (#6448)
Added Nat.ofDigits_div_eq_ofDigits_tailView on Github →