Structure LieAlgebra.Extension

Modification history

2025-01-14 07:17

Mathlib/Algebra/Lie/Extension.lean

feat(Algebra/Lie): Define Lie algebra extensions (#20206) …

Added LieAlgebra.Extension View on Github →