Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.monoid_hom_injective

Modification history

2022-12-02 20:41
src/algebra/group/pi.lean
feat(algebra/group/pi): add pi.monoid_hom (#17757) …
Added pi.monoid_hom_injectiveView on Github →