Theorem Finset.prod_preimage_of_bij

Modification history