Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367)

Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367) #3166