Commit 2023-06-08 03:38 1507c181

View on Github →

feat: golf using gcongr throughout the library (#4784) Following on from #4702, another hundred sample uses of the gcongr tactic.

Estimated changes