Theorem Set.mulIndicator_univ

Modification history