Theorem Set.mulIndicator_self_mul_compl_apply

Modification history