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

Commit

4 years ago

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

Author

ADedecker

Parents