Theorem Set.mulIndicator_union_of_disjoint

Modification history