Theorem Set.mulIndicator_diff'

Modification history