Conditions | 1 |
Total Lines | 24 |
Code Lines | 5 |
Lines | 0 |
Ratio | 0 % |
Changes | 0 |
1 | from unittest import TestCase |
||
33 | def test_term_issues_13(self): |
||
34 | # See https://github.com/chdemko/pandoc-numbering/issues/13 |
||
35 | verify_conversion( |
||
36 | self, |
||
37 | """ |
||
38 | Assumption #big |
||
39 | |||
40 | : Big assumption |
||
41 | |||
42 | Lemma # |
||
43 | |||
44 | : A random lemma |
||
45 | |||
46 | Lemma # |
||
47 | |||
48 | : A random lemma |
||
49 | |||
50 | Now we derive a result which uses [Assumption #](#assumption:big). |
||
51 | |||
52 | Lemma # |
||
53 | |||
54 | : Under [Assumption #](#assumption:big), we have ... |
||
55 | """, |
||
56 | """ |
||
57 | []{#assumption:1}[**Assumption 1**]{#assumption:big .pandoc-numbering-text .assumption .assumption-1 .assumption-big} |
||
76 |