Commit 2025-02-02 14:16 72fe8e29

View on Github →

perf(Algebra.Quaternion): reorder instances in spread (#21030) As @JovanGerb reminded me, we still have some places where supplied instance ordering can result in an unnecessarily unfolded term. Quaternion.instDivisionRing is one such.

Estimated changes