left_invariant_derivation): golf some proofs (#14172)

Commit

3 years ago

chore(geometry/manifold/algebra/left_invariant_derivation): golf some proofs (#14172) The `simp only` had a bunch of lemmas that weren't used.

Author

eric-wieser

Parents