I am wondering how to show that the Lie functor taking Lie groups to Lie algebras is faithful? In particular, I am looking for a constructive proof, since I am working in the context of synthetic differential geometry (and thus restricted to intuitionistic logic).
Sorry if this is an obvious question, but my algebra background isn't that strong, and I mostly taught myself what little Lie theory I know.