Theorem mulInvariantVector_mlieBracket

Modification history

2025-04-11 13:45
Mathlib/Geometry/Manifold/GroupLieAlgebra.lean
feat: the Lie algebra of a Lie group over a general field (#18396) …
Added mulInvariantVector_mlieBracketView on Github →