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