Theorem Set.indicator_mul_right

Modification history