Theorem Pi.mulHom_injective

Modification history

2026-05-30 08:25
Mathlib/Algebra/Group/Pi/Lemmas.lean
chore: rename Pi.monoidHom to MonoidHom.pi (#40024) …
Deleted Pi.mulHom_injectiveView on Github →
2022-12-18 21:16
Mathlib/Algebra/Group/Pi.lean
feat: port algebra.group.pi (#1088) …
Added Pi.mulHom_injectiveView on Github →