Theorem Finset.closure_biUnion

Modification history