u = f + g
The symbol + is used as infix notation for the addition of Lie homomorphisms.
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2349:0.