Theorem Finset.prod_diag

Modification history