[Merged by Bors] - feat: add proof of Jordan-Chevalley-Dunford decomposition#10295
Closed
ocfnash wants to merge 11 commits intomasterfrom ocfnash/jordan_chevalley
Commits
Commits on Feb 5, 2024
- committed
Commits on Feb 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 7, 2024
- committed