The free-operad identification conjecture for the cyclic Lie sub-operad of PreLie
Let PreLie\operatorname{PreLie}PreLie be the PreLie operad, let CycLie\operatorname{CycLie}CycLie be the cyclic Lie module, and let MMM be the sub-operad generated by the image of…