u = - f
The symbol - is used as notation for the negation of Lie homomorphisms.
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2395:0.