Mathlib Changelog
v4
Changelog
About
Github
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_exchange
View on Github →