| changeset 389 | 71c405056d3a |
| parent 388 | 66f66f1710ed |
| child 458 | 896a5f91838d |
| 388:66f66f1710ed | 389:71c405056d3a |
|---|---|
70 |
70 |
71 \item \bl{$mkeps$} |
71 \item \bl{$mkeps$} |
72 |
72 |
73 \begin{center} |
73 \begin{center} |
74 \bl{$mkeps(r^{\{n\}}) \dn |
74 \bl{$mkeps(r^{\{n\}}) \dn |
75 [\underbrace{mkeps(r),\ldots,mkeps(r)}_{n\;times}]$} ? |
75 [\underbrace{mkeps(r),\ldots,mkeps(r)}_{n\;times}]$} |
76 \end{center} |
76 \end{center} |
77 |
77 |
78 \item \bl{$inj$} |
78 \item \bl{$inj$} |
79 |
79 |
80 \begin{center} |
80 \begin{center} |