Repository navigation
test-24-05-06
·
9 commits
to master
since this release
94d8c60
This commit was signed with the committer’s verified signature.
mattrobball
Matthew Robert Ballard
perf: issue at `binop%` and `binrel%` elaborators This issue was affecting several Mathlib files.