  In this paper we prove the equivalence of two symmetric monoidal
$\infty$-categories of $\infty$-operads, the one defined in Lurie's book on
Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections
made and exposition slightly altered.
