feat(program): a sum through a relation is a sum over a join - #607

Merged

FBumann merged 2 commits into

claude/mathspec-relations-proof-rwfu3wfrom

claude/mathspec-relations-proof-rwfu3w-join-sum

Sep 22, 2026

Commits on Sep 22, 2026

feat(program): a sum through a relation is a sum over a join
claude
committed
5f65632
Merge the join and group-by rename, with main, into the sum over a join
claude
committed
5514df8