Commit 2026-08-03 20:51 a89f3233

View on Github →

feat(Topology/InfiniteSum): non-negativity of tprod (#42184)

Estimated changes

modified theorem finprod_nonneg
added theorem HasProd.nonneg
added theorem tprod_nonneg