Theorem Set.mulIndicator_apply_ne_one

Modification history