Def LieAlgebra.IsExtension.extension

Modification history

2025-01-14 07:17
Mathlib/Algebra/Lie/Extension.lean
feat(Algebra/Lie): Define Lie algebra extensions (#20206) …
Added LieAlgebra.IsExtension.extensionView on Github →