# Commit 2020-06-30 17:14 b3915636

View on Github →feat(algebra/lie_algebra): conjugation transformation for Lie algebras of skew-adjoint endomorphims, matrices (#3229) The two main results are the lemmas:

- skew_adjoint_lie_subalgebra_equiv
- skew_adjoint_matrices_lie_subalgebra_equiv The latter is expected to be useful when defining the classical Lie algebras of type B and D.