changeset 389 | 71c405056d3a |
parent 388 | 66f66f1710ed |
child 458 | 896a5f91838d |
--- a/slides/slides11.tex Fri Nov 27 12:08:29 2015 +0000 +++ b/slides/slides11.tex Fri Nov 27 12:09:54 2015 +0000 @@ -72,7 +72,7 @@ \begin{center} \bl{$mkeps(r^{\{n\}}) \dn -[\underbrace{mkeps(r),\ldots,mkeps(r)}_{n\;times}]$} ? +[\underbrace{mkeps(r),\ldots,mkeps(r)}_{n\;times}]$} \end{center} \item \bl{$inj$}