Theorem padic_val_rat.padic_val_rat_of_int
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_of_intView on Github →