Theorem Filter.mem_iff_ultrafilter

Modification history