The non-symmetric operad pre-Lie is free
arXiv:0811.0888 · doi:10.1016/j.jpaa.2009.10.003
Abstract
We prove that the pre-Lie operad is a free non-symmetric operad.
12 pages. Details on the trees used added in definition 1.2. The proof of corollary 3.6 has been changed