mathlib
ca95e36a - chore(linear_algebra/basic): golf a lemma statement (#17752)

Commit

3 years ago

chore(linear_algebra/basic): golf a lemma statement (#17752)

Author

eric-wieser

eric-wieser

Parents

Loading