Theorem Set.mulIndicator_union_mul_inter

Modification history