This result establishes commuting Left and Right Regular Representations of a Compact Lie Group. It identifies a precise structural fact about Lie groups that is used to move between group operations, smooth manifold structure, and infinitesimal data.