Theorem Nat.self_div_pow_eq_ofDigits_drop

Modification history

2024-07-09 09:09
Mathlib/Data/Nat/Digits.lean
chore: add missing spaces around = or := (#14554) …
Modified Nat.self_div_pow_eq_ofDigits_dropView on Github →
2024-04-14 10:41
Mathlib/Data/Nat/Digits.lean
chore: remove autoImplicit from more files (#11798) …
Modified Nat.self_div_pow_eq_ofDigits_dropView on Github →
2023-08-10 19:52
Mathlib/Data/Nat/Digits.lean
feat(Data/Nat/Digits): dividing by `p^i` (#6448)
Added Nat.self_div_pow_eq_ofDigits_dropView on Github →