mathlib3
44a05db5 - fix(topology/algebra/matrix): correct a lemma name (#13640)

Commit

3 years ago

fix(topology/algebra/matrix): correct a lemma name (#13640)

Author

eric-wieser

eric-wieser

Parents

Loading