Theorem Ultrafilter.mem_pure

Modification history