Theorem ArithmeticFunction.carmichael_finset_prod

Modification history

2026-04-26 16:26
Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Deleted ArithmeticFunction.carmichael_finset_prodView on Github →
2025-12-11 22:12
Mathlib/NumberTheory/ArithmeticFunction/Carmichael.lean
feat(NumberTheory/ArithmeticFunction/Carmichael): Carmichael totient function (#32414) …
Added ArithmeticFunction.carmichael_finset_prodView on Github →