Theorem Set.mulIndicator_empty

Modification history