Theorem FreeLieAlgebra.liftAux_map_mul

Modification history