Theorem Ultrafilter.finite_unionₛ_mem_iff

Modification history