Theorem Set.mulIndicator_union_mul_inter_apply

Modification history