Assertion: lie | /r/HasProperty | semisimple
Facets:
value: if
type: DEGREE
Source sentences:
text: A Lie algebra g {\displaystyle {\mathfrak {g}}} is semisimple if and only if the Killing form is nondegenerate.