mathlib3
6b016921 - chore(linear_algebra/eigenspace): split file (#19163)

Commit

2 years ago

chore(linear_algebra/eigenspace): split file (#19163) Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au>

Author

kim-em

Parents