Theorem Filter.eq_pure_iff_singleton_mem

Modification history