Theorem Finset.lcm_dvd_prod

Modification history

2025-12-11 22:12
Mathlib/Algebra/GCDMonoid/FinsetLemmas.lean
feat(NumberTheory/ArithmeticFunction/Carmichael): Carmichael totient function (#32414) …
Added Finset.lcm_dvd_prodView on Github →