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

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

FBumann merged 2 commits into

claude/mathspec-relations-proof-rwfu3wenergy-models/mathspec:claude/mathspec-relations-proof-rwfu3wfrom

claude/mathspec-relations-proof-rwfu3w-join-sumenergy-models/mathspec:claude/mathspec-relations-proof-rwfu3w-join-sumCopy head branch name to clipboard