Theorem Filter.comap_prodMap_prod

Modification history

2024-09-11 03:53
Mathlib/Order/Filter/Prod.lean
feat(Filter/Prod): add `comap_prodMap_prod` (#16564)
Added Filter.comap_prodMap_prodView on Github →