Skip to content

fix: goto-definition for binrel% operators #20952

fix: goto-definition for binrel% operators

fix: goto-definition for binrel% operators #20952

check-lean-files

succeeded Dec 9, 2025 in 37s