carsonlauer·昨年·議論Studying probability right now and seeing how the powerset mobius function immediately implies the inclusion-exclusion formula is pretty cool. Thanks for this!