Theorem ArithmeticFunction.card_divisors

Modification history

2025-02-01 09:03
Mathlib/NumberTheory/ArithmeticFunction.lean
chore: delete declarations deprecated between 2024-01 and 2024-07 (#21271) …
Deleted ArithmeticFunction.card_divisorsView on Github →
2024-11-25 13:34
Mathlib/NumberTheory/ArithmeticFunction.lean
chore: ensure there is a replacement identifier or text suggestion for all deprecations (#19426) …
Modified ArithmeticFunction.card_divisorsView on Github →
2024-07-09 23:50
Mathlib/NumberTheory/ArithmeticFunction.lean
chore: rename `ArithmeticFunction.card_divisors` -> `Nat.card_divisors` (#14589) …
Modified ArithmeticFunction.card_divisorsView on Github →
2024-05-30 11:57
Mathlib/NumberTheory/ArithmeticFunction.lean
feat: add card_divisors theorem (#13350) …
Added ArithmeticFunction.card_divisorsView on Github →