Theorem Set.mulIndicator_one

Modification history