Theorem Set.le_mulIndicator_apply

Modification history