TY - RPRT TI - A Synthetic Version of Lie's Second Theorem AU - Matthew Burke PY - 2016 UR - https://arxiv.org/abs/1605.06378 ID - 1605.06378 ER -