fix: goto-definition for binrel% operators#11558

Draft

alok wants to merge 1 commit intoleanprover:masterfrom

alok:fix-binrel-goto-def

Commits on Dec 9, 2025

fix: goto-definition for binrel% operators (≥, ≤, etc.)
alok
committed