mathlib
8ec38b19 - add docs

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

add docs

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