Commit 2024-09-12 17:39 2f662a44

View on Github →

chore(LinearAlgebra): prepare library for API refactor (#16738) This PR adds equation lemmas for several concepts around eigenspaces, eigenvectors, and eigenvalues, and uses these lemmas in the rest of the library. The result is an improved API boundary which allows for a refactor (and generalization) of the definitions in follow up work.

Estimated changes