feat(language): a where may compare arithmetic over parameters, so an assumption can say what a formula has to satisfy - #466

feat(language): a where may compare arithmetic over parameters, so an assumption can say what a formula has to satisfy#466

FBumann wants to merge 2 commits into

claude/zealous-archimedes-k13bq7energy-models/mathspec:claude/zealous-archimedes-k13bq7from

claude/zealous-archimedes-k13bq7-expressionsenergy-models/mathspec:claude/zealous-archimedes-k13bq7-expressionsCopy head branch name to clipboard