Theorem FreeLieAlgebra.lift_comp_of

Modification history