Def FreeLieAlgebra.universalEnvelopingEquivFreeAlgebra

Modification history