Theorem LieAlgebra.isExtension_of_surjective

Modification history

2025-11-21 12:49
Mathlib/Algebra/Lie/Extension.lean
feat(Algebra/Lie/Extension): 2-cocycle from a Lie algebra extension with abelian kernel and a linear splitting (#31462) …
Modified LieAlgebra.isExtension_of_surjectiveView on Github →
2025-01-14 07:17
Mathlib/Algebra/Lie/Extension.lean
feat(Algebra/Lie): Define Lie algebra extensions (#20206) …
Added LieAlgebra.isExtension_of_surjectiveView on Github →