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)
feat(order/filter/basic): allow functions between different types in lemmas about [co]map by a constant function (#13542)