u = d - e
The symbol - is used as infix notation for the subtraction of Lie derivations $M\ \to\ L$ with the same defining map $f: M\ \to\ L$.
|
|
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2511:0.