Skip to content

Simplify algebraic identities involving commutative operators#8951

Draft
tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig:simplify-algebraic-identities
Draft

Simplify algebraic identities involving commutative operators#8951
tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig:simplify-algebraic-identities

Commits

Commits on Apr 3, 2026