Theorem Set.eqOn_mulIndicator'

Modification history