Theorem Set.mulIndicator_comp_of_one

Modification history