mathlib
bd944fe1 - chore(linear_algebra/free_module): fix name in doc (#13942)

Commit

3 years ago

chore(linear_algebra/free_module): fix name in doc (#13942)

Author

alexjbest

alexjbest

Parents

Loading