Assertion: solvability | /r/HasProperty | closed under group extension
Facets:
Source sentences:
text: Solvability is closed under group extension: