Theorem Finset.prod_disjiUnion

Modification history