Theorem Set.mulIndicator_compl'

Modification history