LieBracket

2 triples
GPTKB property

Random triples
Subject Object
gptkb:general_linear_Lie_algebra [A,B] = AB - BA
gptkb:Witt_algebra [e_m, e_n] = (n-m)e_{m+n}