Theorem ArithmeticFunction.carmichael_dvd

Modification history

2026-05-07 09:45

Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean

chore(NumberTheory/ArithmeticFunction/Carmichael): lowercase name (#38976) …

Modified ArithmeticFunction.carmichael_dvd View on Github →

2025-12-11 22:12

Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean

feat(NumberTheory/ArithmeticFunction/Carmichael): Carmichael totient function (#32414) …

Added ArithmeticFunction.carmichael_dvd View on Github →