Formal subtraction of Lie elements. See the documentation of the formal Lie multiplication for more information.
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2115:0.