Assertion: complete graph | /r/HasAspect | perfect 1-factorization
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.