| 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 |