Theorem Ultrafilter.union_mem_iff

Modification history