In General Relativity the covariant derivative of contravariant vectors $A^\mu$ is: \begin{equation} \nabla_\mu A^\nu=\partial_\mu A^\nu+\Gamma^\nu_{\mu\alpha}A^\alpha \end{equation} where $\Gamma^\nu_{\mu\alpha}$ are Christoffel symbols. My question: how do we prove it verifies the Leibniz pr...