Theorem Set.mulSupport_mulIndicator_subset

Modification history