Theorem Finset.union_mem_sups

Modification history