Theorem Set.mulIndicator_mul'

Modification history