Fix incorrect comment in QuadraticEquivalenceCandidate rule#3587
Closed
Copilot wants to merge 2 commits into
Closed
Fix incorrect comment in QuadraticEquivalenceCandidate rule#3587Copilot wants to merge 2 commits into
Copilot wants to merge 2 commits into
Commits
Commits on Jan 27, 2026
- committed
- andcommitted