quick edit to 3-2#378

Closed

rhinopotamus wants to merge 4 commits intoactive-calculus:mainfrom

rhinopotamus:main

Commits on Jun 25, 2025

rewrite 3-2 after full-group feedback
rhinopotamus
committed

Commits on Jun 26, 2025