Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - refactor(number_theory/padics/padic_norm): Switch nat and rat definitions #12454

Closed
wants to merge 61 commits into from

Merge branch 'master' into BoltonBailey/padic-val-nat-rat-switch

a7c1379
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - refactor(number_theory/padics/padic_norm): Switch nat and rat definitions #12454

Merge branch 'master' into BoltonBailey/padic-val-nat-rat-switch
a7c1379
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs