mathlib
25aab4c3
- generalize stuff
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
generalize stuff
References
#17472 - feat(ring_theory/local_properties): Being (in/sur/bi)jective is local (for linear maps).
Author
erdOne
Parents
943bf1dc
Loading
