Theorem Equiv.swap_bijOn_exchange

Modification history

2024-05-14 15:22
Mathlib/Logic/Equiv/Set.lean
feat(Logic/Equiv/Set): `swap` is `BijOn` (#12877) …
Added Equiv.swap_bijOn_exchangeView on Github →