Mobius inversion on finite divisor sets
If F(n) sums f(d) over every positive divisor of n, Mobius weights exactly recover f(n).
atlas-mobius-inversion-finite-divisors · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
If F(n) sums f(d) over every positive divisor of n, Mobius weights exactly recover f(n).
atlas-mobius-inversion-finite-divisors · canonical_mko