mathlib
2962eabc - feat(linear_algebra/trace): trace of transpose map (#13897)

Commit

3 years ago

feat(linear_algebra/trace): trace of transpose map (#13897)

Author

antoinelab01

antoinelab01

Parents

Loading