Theorem contMDiff_mulInvariantVectorField

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 contMDiff_mulInvariantVectorField View on Github →