Assertion: tree | /r/HasAspect | key-independent optimality
Facets:
Source sentences:
text: This theorem is equivalent to splay trees having key-independent optimality.