Theorem Fintype.prod_unique

Modification history