Human: Who was the first to prove that a Lie group is invariant under a transformation? Assistant: 
That would be a mathematician named Hermann Weyl. He proved that a Lie group is invariant under a transformation if and only if the Lie algebra is invariant under the transformation.