Theorem Equiv.swap_smul_involutive

Modification history

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