[ bug ] Fix use of + in lemma preconditions in favour of ∧#2564
Merged
jamesmckinna merged 1 commit intoagda:masterfrom jamesmckinna:pr2206-bisJan 25, 2025
+2-2
Commits
Commits on Jan 25, 2025
- committed
