Theorem Filter.exists_ultrafilter_iff

Modification history