Theorem Finset.mulIndicator_biUnion_apply

Modification history