Equivalence of definitions of Baer Lie category