Theorem Fintype.prod_prod_type

Modification history