first commit - SemanticDiff

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

Committer

erdOne

erdOne

Parents

Loading