Assertion: triangle free graph | /r/HasProperty | colored
Facets:
value: always
type: DEGREE
Source sentences:
text: Grötzsch's theorem that triangle-free planar graphs can always be colored with at most three colors.