Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-09 21:54 f90803c9

View on Github →

feat(algebra/group/hom): cancel injective/surjective monoid_homs (#2112)

  • feat(algebra/group/hom): cancel injective/surjective monoid_homs
  • Add a ring_hom version

Estimated changes

added theorem monoid_hom.cancel_left
added theorem ring_hom.cancel_left
added theorem ring_hom.cancel_right