Theorem Fintype.prod_equiv

Modification history