Theorem Finset.set_biInter_biUnion

Modification history