Commit 2021-03-18 13:48 b4afd642
View on Github →feat(data/padics/padic_norm): p-adic norm of primes other than p (#6730)
The p-adic norm of q is 1 if q is another prime than p.
feat(data/padics/padic_norm): p-adic norm of primes other than p (#6730)
The p-adic norm of q is 1 if q is another prime than p.