1: \begin{definition}\label{DefUnive}

2: 	Let $L$ be an $L_\infty$ algebra. Its \emph{universal enveloping $A_\infty$ algebra} is $$U_t(L) := \left(\Lambda L, \left\{m_n\right\}\right),$$ where $\{m_n\}$ is any $A_\infty$ algebra structure arising by exhibiting $\Lambda L$ as a contraction of $\Omega \mathcal C(L)$. In particular, if $L$ is minimal, then the $A_\infty$ structure on $\Lambda L$ is the one given in Theorem \ref{Uno}. 

3: \end{definition}

4: