[fixes #2168] Change names in Algebra.Consequences.* to reflect style-guide conventions#2206
Merged
MatthewDaggitt merged 2 commits intoagda:masterfrom jamesmckinna:consequencesNov 25, 2023
+383-141
Commits
Commits on Nov 17, 2023
- committed
