Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-08-16 11:32
12d103c2
View on Github →
fix(padics/padic_norm): remove spurious import
Estimated changes
Modified
data/padics/padic_norm.lean
modified
theorem
padic_norm.add_eq_max_of_ne
modified
theorem
padic_val.is_greatest
modified
theorem
padic_val.le_padic_val_of_pow_div
modified
theorem
padic_val.min_le_padic_val_add
modified
theorem
padic_val.spec
modified
theorem
padic_val.unique
modified
def
padic_val