Commit 2025-07-05 04:42 4a11bc26
View on Github →chore(Algebra): remove mid_assoc from IsMulCentral (#24218)
as it is a consequence of left and right associativity in the presence of commutativity. Also change the commutativity condition to use Commute.