mathlib3
f3c9d204 - chore(linear_algebra/determinant): Golf a proof (#5309)

Commit

5 years ago

chore(linear_algebra/determinant): Golf a proof (#5309)

Author

eric-wieser

eric-wieser

Parents

Loading