Theorem Finset.isWF_bUnion

Modification history