I am studying connections on abstract manifolds. So far, I have read several equivalent definitions but I can't establish the equivalence between them on my own.
The first definition is the Ehresmann connection that defines a connection on a manifold as a distribution of vector spaces...