Theorem FreeLieAlgebra.liftAux_spec

Modification history