Theorem AddCommGroup.mul_modEq_mul_left

Modification history

2024-11-11 09:44
Mathlib/Algebra/ModEq.lean
feat: Pontryagin duality for finite abelian groups (#15999) …
Added AddCommGroup.mul_modEq_mul_leftView on Github →