Search results for: 'proof for (R ▷◁ S) ▷◁ T = R ▷◁ (S ▷◁ T)'