Theorem Finset.inf_union

Modification history