Changes
Jump to navigation
Jump to search
no edit summary
\stopproclaim
Note that we can refer to our results in the following way: according to the definition \in[def:test] we see that theorem \in[thm:result] is an easy consequence of lemma \in[lem:resultB].
\stoptext
</texcode>
