Lie Groups and Lie Algebras: A Rewrite of Lie Theory