Theorem MonoidHom.injective_codRestrict

Modification history

2024-09-04 01:36
Mathlib/Algebra/Group/Submonoid/Operations.lean
feat(Algebra/Group/Submonoid/Operations): `injective_codRestrict` (#15700) …
Added MonoidHom.injective_codRestrictView on Github →