mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(algebra/category): forgetful functors from modules/abelian groups preserve epis/monos

Open TwoFX opened this issue 3 years ago • 1 comments

The corresponding reflects statements already follow from faithfulness.

  • [x] depends on: #14829
  • [x] depends on: #15107

Open in Gitpod

TwoFX avatar Jul 03 '22 19:07 TwoFX

This PR/issue depends on:

  • ~~leanprover-community/mathlib#14829~~
  • ~~leanprover-community/mathlib#15107~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Jul 17 '22 14:07 mathlib-dependent-issues-bot

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 24 '22 21:08 bors[bot]