Theorem Finset.prod_coe_sort

Modification history