Commit 2026-05-07 09:45 c94700f2

View on Github →

chore(NumberTheory/ArithmeticFunction/Carmichael): lowercase name (#38976) ArithmeticFunction.Carmichael -> ArithmeticFunction.carmichael

Estimated changes

Modified Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean

deleted def ArithmeticFunction.Carmichael

added def ArithmeticFunction.carmichael

modified theorem ArithmeticFunction.carmichael_dvd

modified theorem ArithmeticFunction.carmichael_dvd_totient

modified theorem ArithmeticFunction.carmichael_eq_exponent'

modified theorem ArithmeticFunction.carmichael_eq_exponent

modified theorem ArithmeticFunction.pow_carmichael