Update local_properties.lean - SemanticDiff

Commit

3 years ago

Update local_properties.lean

References

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

Author

erdOne

erdOne

Parents

Loading