Theorem padic_val_rat.padic_val_rat_self
Modification history
2022-04-21 12:09
src/number_theory/padics/padic_norm.lean
refactor(number_theory/padics/padic_norm): Switch nat and rat definitions (#12454) …
Deleted padic_val_rat.padic_val_rat_selfView on Github →