Theorem Set.mulIndicator_eq_mulIndicator

Modification history