<human>:  Who was the first to prove that a Lie group is invariant under a transformation?
<bot>: 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.