Commit 2022-12-26 11:29 a3d8bb76
View on Github →feat: Data.Set.Function
two lemmas about inverse of mono/antitone maps to sync with mathlib3#18001 (#1222)
https://github.com/leanprover-community/mathlib/pull/18001
feat: Data.Set.Function
two lemmas about inverse of mono/antitone maps to sync with mathlib3#18001 (#1222)
https://github.com/leanprover-community/mathlib/pull/18001