Theorem Set.mulIndicator_iInter_apply

Modification history