Theorem Equiv.eq_or_eq_of_swap_apply_ne_self

Modification history

2024-04-24 14:51
Mathlib/Logic/Equiv/Basic.lean
chore(Perm/List): golf, review API (#12302) …
Added Equiv.eq_or_eq_of_swap_apply_ne_selfView on Github →