| changeset 62 | a6bb0152ccc2 |
| parent 60 | 2cdbab037861 |
| child 71 | 2d30c74ba67f |
| 60:2cdbab037861 | 62:a6bb0152ccc2 |
|---|---|
346 \hline |
346 \hline |
347 $Right(w_1) \succ_{(der\;c\;r_1) \cdot r_2 + der\;c\;r_2} Left(w_2)$ |
347 $Right(w_1) \succ_{(der\;c\;r_1) \cdot r_2 + der\;c\;r_2} Left(w_2)$ |
348 \end{tabular} |
348 \end{tabular} |
349 \end{center} |
349 \end{center} |
350 |
350 |
351 \subsection*{Problems in the paper proof} |
|
352 |
|
353 I cannot verify |
|
351 |
354 |
352 \end{document} |
355 \end{document} |