Theorem finprod_eq_prod_of_fintype

Modification history