mathlib
3d2e5ac2 - chore(linear_algebra/matrix/determinant): golf a proof (#8157)

Commit

4 years ago

chore(linear_algebra/matrix/determinant): golf a proof (#8157)

Author

eric-wieser

eric-wieser

Parents

Loading