Theorem Finset.mem_union

Modification history