Commit 2021-07-27 13:18 b61ce027
View on Github →feat(number_theory/padics/padic_norm): add p^v(n) | n (#8442)
Add some API for padic_val_nat (a convenient function for e.g. Sylow theory).
feat(number_theory/padics/padic_norm): add p^v(n) | n (#8442)
Add some API for padic_val_nat (a convenient function for e.g. Sylow theory).