Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-24 19:21
2363852a
View on Github →
feat: port Geometry.Manifold.Algebra.LieGroup (
#5439
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Geometry/Manifold/Algebra/LieGroup.lean
added
theorem
ContMDiff.div
added
theorem
ContMDiff.inv
added
theorem
ContMDiffAt.div
added
theorem
ContMDiffAt.inv
added
theorem
ContMDiffOn.div
added
theorem
ContMDiffOn.inv
added
theorem
ContMDiffWithinAt.div
added
theorem
ContMDiffWithinAt.inv
added
theorem
smooth_inv
added
theorem
topologicalGroup_of_lieGroup