Commit 2026-07-16 15:58 3d1773a1

chore: fix many nsmul/zsmul diamonds (#41332) This PR fixes many diamonds around nsmul/zsmul fields. The common problematic pattern is that we first define the AddCommMonoid/AddCommGroup instance, and later define the SMul or Algebra instance. But we need to define the smul operation first, so that it can be used to define the nsmul and zsmul operations such that there is no diamond. These fixes are all ported from #38781 (the instance diamonds linter), and they were found after we got the NSMul and ZSMul type classes (#38036).