Theorem AddCommGroup.mul_modEq_mul_right

Modification history

2026-01-16 00:53
Mathlib/Algebra/Field/ModEq.lean
chore(Algebra/ModEq): split file (#34003) …
Modified AddCommGroup.mul_modEq_mul_rightView on Github →
2024-11-11 09:44
Mathlib/Algebra/ModEq.lean
feat: Pontryagin duality for finite abelian groups (#15999) …
Added AddCommGroup.mul_modEq_mul_rightView on Github →