Theorem AddCommGroup.mul_modEq_mul_right

Modification history

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 →