[Merged by Bors] - chore: rename ArithmeticFunction.card_divisors -> Nat.card_divisors
#47276
The logs for this run have expired and are no longer available.
Loading