Theorem Ultrafilter.empty_not_mem

Modification history