mathlib
36386fc7 - feat(linear_algebra): some easy linear map/equiv lemmas (#3890)

Commit

5 years ago

feat(linear_algebra): some easy linear map/equiv lemmas (#3890) From the sphere eversion project.

References

Author

PatrickMassot

Parents