the multiplication map $\mu : SL(2,\mathbb{R})×SL(2,\mathbb{R}) → SL(2,\mathbb{R})$ is $C^{\infty}$

42 Views Asked by At

I'm not able to show that the multiplication map $\mu : SL(2,\mathbb{R})×SL(2,\mathbb{R}) → SL(2,\mathbb{R})$ is $C^{\infty}$, where GL are the square matrices of determinant 1, how can I prove?