Theorem Equiv.swap_smul_self_smul

Modification history

2023-12-27 08:00
Mathlib/GroupTheory/Perm/Basic.lean
chore(Perm/Basic): generalize `swap_smul_involutive` (#9180) …
Added Equiv.swap_smul_self_smulView on Github →