Theorem Finset.prod_bijective

Modification history