Theorem Function.antitoneOn_of_rightInvOn_of_mapsTo

Modification history

2024-01-06 09:51
Mathlib/Data/Set/Function.lean
chore(Set/Function): don't use `Sort _` (#9478) …
Modified Function.antitoneOn_of_rightInvOn_of_mapsToView on Github →
2022-12-26 11:29
Mathlib/Data/Set/Function.lean
feat: `Data.Set.Function` two lemmas about inverse of mono/antitone maps to sync with mathlib3#18001 (#1222) …
Added Function.antitoneOn_of_rightInvOn_of_mapsToView on Github →