Theorem Set.mulIndicator_compl

Modification history