Skip to content

A calculus domain graded by two derivatives that must agree - #36

Merged
punnerud merged 1 commit into
mainfrom
feat/calculus-battery
Aug 12, 2026
Merged

A calculus domain graded by two derivatives that must agree#36
punnerud merged 1 commit into
mainfrom
feat/calculus-battery

Commits

Commits on Aug 12, 2026