Theorem Filter.singleton_mem_pure

Modification history