algebra): `left_invariant_derivation` (#8108)

Commit

4 years ago

feat(geometry/manifold/algebra): `left_invariant_derivation` (#8108) In this PR we prove that left-invariant derivations are a Lie algebra.

Author

Nicknamen

Parents