self_adjoint.lean

Commit

3 years ago

Update src/algebra/star/self_adjoint.lean Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

dupuisf

Parents