Theorem Finset.mulIndicator_biUnion

Modification history