mathlib3
29415900 - feat(linear_algebra/matrix): Spectral theorem for matrices (#14231)

Commit

3 years ago

feat(linear_algebra/matrix): Spectral theorem for matrices (#14231) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

abentkamp

Parents