Theorem MonoidHom.injective_pi

Modification history

2026-05-30 13:01
Mathlib/Algebra/Group/Pi/Lemmas.lean
chore: rename MonoidHom.injective_pi to pi_injective (#40045) …
Deleted MonoidHom.injective_piView on Github →
2026-05-30 08:25
Mathlib/Algebra/Group/Pi/Lemmas.lean
chore: rename Pi.monoidHom to MonoidHom.pi (#40024) …
Added MonoidHom.injective_piView on Github →