Theorem Set.indicator_eq_zero_iff_not_mem

Modification history