isometry): `rotation_trans` (#12015)

Commit

3 years ago

feat(analysis/complex/isometry): `rotation_trans` (#12015) Add a `simp` lemma about the composition of two rotations.

Author

jsm28

Parents