mathlib

2d5fd655 - fix(algebra/opposites): add a missing `comm_semiring` instance (#9425)