Assertion: graph's cycle | /r/HasProperty | ⟹ g
Facets:
Source sentences:
text: G {\displaystyle G} contains no odd cycles ⟹ G {\displaystyle \Longrightarrow