Open lgarron opened 10 years ago
Allows simplifying [R, U] [R, U] to [R, U]2
Question: is (R U) R == R (U R) ? (While simplifying, I think it should. But structurally, it's unclear.)
Allows simplifying [R, U] [R, U] to [R, U]2
Question: is (R U) R == R (U R) ? (While simplifying, I think it should. But structurally, it's unclear.)