Skip to content

A sum over a set: sum(f, x in S) - #1624

Merged
Rafael-SOWNet merged 2 commits into
masterfrom
a-sum-over-a-set
Sep 30, 2026
Merged

A sum over a set: sum(f, x in S)#1624
Rafael-SOWNet merged 2 commits into
masterfrom
a-sum-over-a-set

Roots are written out only where they read as simply as the sum

6a55dbd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar