Changes
Jump to navigation
Jump to search
no edit summary
When there is a declared section the numbers have as prefix the section number, as in the following:
\startproclaim[lem:resultatresultB]{Lemma}
Here is an elementary lemma.
\stopproclaim
\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:resultatresultB].
\stoptext
</texcode>
