Theorem smul_finprod_perm

Modification history

2025-07-05 03:31
Mathlib/Algebra/BigOperators/GroupWithZero/Action.lean
chore(Algebra/BigOperators): rename variables away from greek letters (#26521) …
Modified smul_finprod_permView on Github →
2024-10-26 11:58
Mathlib/Algebra/BigOperators/GroupWithZero/Action.lean
feat(Algebra/BigOperators/GroupWithZero/Action): Action of group permutes a product (#18148) …
Added smul_finprod_permView on Github →