feat: Exponential map of Lie group is smooth#37932

idontgetoutmuch wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

idontgetoutmuch:principal-bundles-from-authoridontgetoutmuch/mathlib4:principal-bundles-from-authorCopy head branch name to clipboard