Theorem Finset.prod_coe_sort_eq_attach

Modification history