Draft: Resolve "addN_comm_helper sinnvoll benennen" (!22 · Merge requests · Max Ole Elliger / Coq Exercises

Max Ole Elliger requested to merge 15-addn_comm_helper-sinnvoll-benennen-2 into master Jan 09, 2023

Can't show this merge request because the source branch 15-addn_comm_helper-sinnvoll-benennen-2 is missing from project oc59yqul/coq-exercises. Close this merge request or update the source branch.