mathlib3
d0d6de4a
- feat(algebra/category): monos/epis in the category of abelian groups
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(algebra/category): monos/epis in the category of abelian groups
Author
TwoFX
Committer
TwoFX
Parents
024a4231
Loading
mathlib3
d0d6de4a - feat(algebra/category): monos/epis in the category of abelian groups
