Commit 2025-01-24 19:52 f8b7f16a
View on Github →perf: use fast_instance% for instances constructed via non-canonical constructors (#20993)
Most the applications have Function.Injective/Surjective.class at the head of their expressions except for Submodule.addCommMonoid/addCommGroup/module'/module. The latter probably have the former deeper inside.