Def LieAlgebra.SemiDirectSum.prod_iso

Modification history

2026-04-13 12:57
Mathlib/Algebra/Lie/SemiDirect.lean
style: fix whitespace (#37993) …
Modified LieAlgebra.SemiDirectSum.prod_isoView on Github →
2026-03-22 21:51
Mathlib/Algebra/Lie/SemiDirect.lean
feat: compatible (pairs of) derivations form a Lie algebra (#36651) …
Added LieAlgebra.SemiDirectSum.prod_isoView on Github →