Theorem Set.mulIndicator_le_mulIndicator_apply_of_subset

Modification history