Theorem Set.indicator_eq_one_iff_mem

Modification history