Commits on May 8, 2024

1. perf: issue at binop% and binrel% elaborators (#4092) …

   This issue was affecting several Mathlib files.
   
   @mattrobball @semorrison This is a different solution for the issue. The
   comment at `Extra.lean` describes the new solution and documents the new
   issues found with the previous one.
   
   closes #4085
   
   (cherry picked from commit 2a5ca00)

   

   leodemoura authored and github-actions[bot] committed May 8, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 06c420c
   • Browse repository at this point

   Copy the full SHA

   06c420c View commit details

   Browse the repository at this point in the history