mathlib
68027d6d - first commit

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

first commit

References

#17472 - feat(ring_theory/local_properties): Being (in/sur/bi)jective is local (for linear maps).

Author

erdOne

erdOne

Parents

FAQ Terms Privacy Refunds Impressum

Loading