Theorem Finset.prod_biUnion

Modification history