Assertion: complete bipartite graph | /r/HasProperty | k n
Facets:
Source sentences:
text: If the complete graph K n + 1 has a perfect 1-factorization, then the complete bipartite graph K n,n also has a perfect 1-factorization.