Assertion: solvability | /r/HasProperty | closed under a number of operations
Facets:
Source sentences:
text: Solvability is closed under a number of operations.