Commit 2020-11-23 10:07 fdabe9c3
View on Github →feat(data/padics/padic_norm): add a little more API (#5082)
A little more API for padic_val_rat and padic_val_nat.
feat(data/padics/padic_norm): add a little more API (#5082)
A little more API for padic_val_rat and padic_val_nat.