skew_adjoint): move logic for Lie algebras of skew-adjoint endomorphisms to own file (#5098)

Commit

5 years ago

chore(algebra/lie/skew_adjoint): move logic for Lie algebras of skew-adjoint endomorphisms to own file (#5098)

Author

Oliver Nash

Parents