Theorem Ultrafilter.compl_not_mem_iff

Modification history