Skip to content

Commit

Permalink
refactor(number_theory/padics/padic_norm): Switch nat and rat definit…
Browse files Browse the repository at this point in the history 
…ions (#12454)

Switches the order in which `padic_val_nat` and `padic_val_rat` are defined.

This PR has also expanded to add `padic_val_int` and some API lemmas for that.
  • Loading branch information
@BoltonBailey
BoltonBailey committed Apr 21, 2022
1 parent 21bbe90 commit 8261501
Show file tree
Hide file tree
Showing 2 changed files with 250 additions and 182 deletions.

0 comments on commit 8261501

Please sign in to comment.