Theorem Finset.isPWO_bUnion

Modification history