Theorem LeftInvariantDerivation.ext

Modification history

2024-01-17 23:23
Mathlib/Geometry/Manifold/Algebra/LeftInvariantDerivation.lean
chore(*): rename `FunLike` to `DFunLike` (#9785) …
Modified LeftInvariantDerivation.extView on Github →
2023-07-08 04:19
Mathlib/Geometry/Manifold/Algebra/LeftInvariantDerivation.lean
feat: port Geometry.Manifold.Algebra.LeftInvariantDerivation (#5665)
Added LeftInvariantDerivation.extView on Github →