d=zeroDerivation(L)
The zero map from $L$ to $L$ is a derivation.
|
|
|
|
The object zeroDerivation is a method function.
The source of this document is in GradedLieAlgebras/doc2.m2:2617:0.