Theorem Fintype.prod_prod_type_right

Modification history