mathlib
3b4f4daf - feat(linear_algebra/determinant): more on the determinant of linear maps (#9139)

Commit

4 years ago

feat(linear_algebra/determinant): more on the determinant of linear maps (#9139)

Author

sgouezel

sgouezel

Parents

Loading