Theorem Nat.card_divisors

Modification history

2024-07-09 23:50
Mathlib/NumberTheory/ArithmeticFunction.lean
chore: rename `ArithmeticFunction.card_divisors` -> `Nat.card_divisors` (#14589) …
Added Nat.card_divisorsView on Github →