Commit 2023-06-24 19:21 2363852a

View on Github →

feat: port Geometry.Manifold.Algebra.LieGroup (#5439)

Estimated changes

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