Theorem FreeLieAlgebra.liftAux_map_smul

Modification history