Repository navigation
test2-24-05-07
·
9 commits
to master
since this release
47e135d
This commit was signed with the committer’s verified signature.
mattrobball
Matthew Robert Ballard
perf: issue at `binop%` and `binrel%` elaborators Yet another candidate solution. This issue was affecting several Mathlib files.