Theorem Set.mulIndicator_apply_le'

Modification history