Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-20 16:01 311ca722

View on Github →

feat(order/filter/basic): allow functions between different types in lemmas about [co]map by a constant function (#13542)

Estimated changes