basic): `conj_lie_symm` (#11890)

Commit

3 years ago

feat(analysis/complex/basic): `conj_lie_symm` (#11890) Add a `simp` lemma that the inverse of `conj_lie` is `conj_lie`.

Author

jsm28

Parents