mathlib3
f9d2a546 - add and move

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

add and move

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