injective.lean

Commit

2 years ago

Update src/algebra/category/Group/injective.lean Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

References

Author

jjaassoonn

Parents