Skip to main content
. 2018 Aug 28;3(1):37. doi: 10.1007/s41109-018-0074-3

Fig. 6.

Fig. 6

Example of a H1 cycle, a hole bounded by edges (left) and a H2 cycle, hole bounded by triangles (right). Nodes color: red for theorems, grey for lemmas and green for equations