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