mathlib3
77f5fb33 - feat(linear_algebra/eigenspace): `mem_maximal_generalized_eigenspace` (#7162)

Commit

4 years ago

feat(linear_algebra/eigenspace): `mem_maximal_generalized_eigenspace` (#7162) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

ocfnash

Parents