Commit 2026-03-04 18:05 433f0a43

View on Github →

chore(Topology/Algebra/InfiniteSum/Group): generalize the Cauchy criterion to CommMonoid (#36138) The Cauchy criterion can be upgraded to CommMonoid for free.

Estimated changes