Commit 2026-03-18 12:31 f1149025
View on Github →chore(Algebra/Group/InjSurj): clean up instances (#36413)
This PR give a bit of speedup by cleaning up some Function.Injective. and Function.Surjective. instances. The main point is to put the arguments in the correct order in { ..., ... with }, matching the order of the extends clause.