Theorem padic_val.padic_val_eq_zero_of_coprime
Modification history
2019-01-18 14:10
src/data/padics/padic_norm.lean
refactor(ring_theory/multiplicity): replace padic_val with multiplicity (#495)
Deleted padic_val.padic_val_eq_zero_of_coprimeView on Github →