Equivalence of definitions of Baer Lie category

Statement
The two definitions of Baer Lie category are equivalent.

Corollaries

 * Baer correspondence induces isomorphism of automorphism groups
 * Baer correspondence induces isomorphism of endomorphism monoids