[Merged by Bors] - chore(NumberTheory/ArithmeticFunction): remove Nat.
part from ArithmeticFunction
namespace
#17849
Job | Run time |
---|---|
11s | |
44s | |
55s |
Nat.
part from ArithmeticFunction
namespace
#17849
Job | Run time |
---|---|
11s | |
44s | |
55s |