Assertion: solvability | /r/HasProperty | quasivarietal
Facets:
Source sentences:
text: The proof follows directly from the fact that solvability is quasivarietal, because quasivarietal implies subgroup-closed.