283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 152: | Line 152: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
t \ | t \mid u = & u \mid t \\ | ||
s \ | s \mid (t \mid u) = & (s \mid t) \mid u \\ | ||
t \ | t \mid t = & t \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 162: | Line 162: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
(s \ | (s \mid t) \seq u = & s \seq u \mid t \seq u | ||
\end{align} | \end{align} | ||
</math> | </math> | ||