Theorem Set.mulIndicator_apply

Modification history