Commit 2024-07-09 23:50 875fef31

View on Github →

chore: rename ArithmeticFunction.card_divisors -> Nat.card_divisors (#14589) Aesthetic preference, feel free to close if this doesn't make sense.

Estimated changes

added theorem Nat.card_divisors