Theorem tprod_finsetProd

Modification history

2025-04-13 16:12
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
chore(tprod): move tprod lemmas to protected namespace (#23959) …
Deleted tprod_finsetProdView on Github →
2025-02-13 16:03
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
feat: `HasProd` on sum types (#21683)
Added tprod_finsetProdView on Github →