mathlib3
b9f24408 - chore(linear_algebra/orientation): golf a proof (#10742)

Commit

4 years ago

chore(linear_algebra/orientation): golf a proof (#10742)

Author

eric-wieser

eric-wieser

Parents

Loading