Commit 2025-04-18 17:03 d4bd0b3d
View on Github →refactor(AffineEquiv): reorder type class parameters to enable refl attribute (#24156) See https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/refl.20attribute/near/512372541 for details