mathlib
b51028f1 - chore(linear_algebra/finite_dimensional): lin-indep lemma typos (#3086)

Commit

6 years ago

chore(linear_algebra/finite_dimensional): lin-indep lemma typos (#3086)

Author

pechersky

pechersky

Parents

Loading