Theorem LeftInvariantDerivation.coe_derivation

Modification history

2023-07-08 04:19

Mathlib/Geometry/Manifold/Algebra/LeftInvariantDerivation.lean

feat: port Geometry.Manifold.Algebra.LeftInvariantDerivation (#5665)

Added LeftInvariantDerivation.coe_derivation View on Github →