Theorem Fintype.prod_eq_single

Modification history