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

Estimated changes