epi_mono): (mono)epimorphisms and (in)surjections are the same in `(Add)(Comm)Group` (#15496)

Commit

3 years ago

feat(algebra/category/Group/epi_mono): (mono)epimorphisms and (in)surjections are the same in `(Add)(Comm)Group` (#15496)

Author

jjaassoonn

Parents