Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.restrict_eq

Modification history

2020-05-29 06:50
src/group_theory/submonoid.lean
feat(ring_theory): define subsemirings (#2837) …
Deleted monoid_hom.restrict_eqView on Github →
2020-04-03 12:34
src/group_theory/submonoid.lean
feat(group_theory/monoid_localization): some homs induced on localizations: lift, map (#2118) …
Added monoid_hom.restrict_eqView on Github →