 Engel would help Lie to write his most important treatise, "Theorie der Transformationsgruppen", published in Leipzig in three volumes from 1888 to 1893.Decades later, Engel would also be one of the two editors of Lie's collected works.In 1886 Lie became professor at Leipzig, replacing Klein, who had moved to Göttingen.