mathlib3

a40f31fb - feat(data/tprod): finite products of types (#5385)

feat(data/tprod): finite products of types (#5385) This PR defined `list.tprod` as a finite product of types to transfer results from binary products to finitary products. See module doc for more info.