Assertion: connected graph | /r/CapableOf | admit normal spanning tree
Facets:
Source sentences:
text: Every connected graph with only countably many vertices admits a normal spanning tree (Diestel 2005, Prop. 8.2.4).