Def ArithmeticFunction.Carmichael

Modification history

2026-05-07 09:45
Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean
chore(NumberTheory/ArithmeticFunction/Carmichael): lowercase name (#38976) …
Deleted ArithmeticFunction.CarmichaelView on Github →
2025-12-11 22:12
Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean
feat(NumberTheory/ArithmeticFunction/Carmichael): Carmichael totient function (#32414) …
Added ArithmeticFunction.CarmichaelView on Github →