Commit 2023-06-07 10:28 0dc40792
View on Github →refactor(geometry/manifold/cont_mdiff_map): refactor to reduce imports (#19164) See https://tqft.net/mathlib4/2023-06-07/geometry.manifold.algebra.left_invariant_derivation.pdf for the motivation. I'm happy if this one is shot down. :-)