Transposition_is_Self_Inverse
Provedgroup-theorypermutationsproofwikiself-inversetranspositions
All transpositions are self-inverse.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Transposition_is_Self_Inverse {α : Type _} [DecidableEq α] (a b : α) : Equiv.swap a b * Equiv.swap a b = 1 := by sorrySource