Theorem Set.mulIndicator_union_of_not_mem_inter

Modification history