Theorem Set.mulIndicator_const_preimage_eq_union

Modification history