Commit 2023-06-20 03:47 7c90ee69

feat: add two basic lemmas about selfAdjoint elements (#5169)

• selfAdjoint elements are automatically normal
• the image of an element under a star-preserving map in a space with a TrivialStar is self-adjoint