Theorem FreeLieAlgebra.lift_of_apply

Modification history