Theorem LeftInvariantDerivation.commutator_coe_derivation

Modification history

2023-07-08 04:19
Mathlib/Geometry/Manifold/Algebra/LeftInvariantDerivation.lean
feat: port Geometry.Manifold.Algebra.LeftInvariantDerivation (#5665)
Added LeftInvariantDerivation.commutator_coe_derivationView on Github →