mathlib3
6e5de190 - feat(linear_algebra/free_module): add lemmas (#7950)

Commit

4 years ago

feat(linear_algebra/free_module): add lemmas (#7950) Easy results about free modules.

Author

riccardobrasca

Parents