Theorem Set.mapsTo_fst_prod

Modification history

2024-09-30 16:44
Mathlib/Data/Set/Prod.lean
feat: add `mapsTo_fst_prod` and `mapsTo_snd_prod` (#17279) …
Added Set.mapsTo_fst_prodView on Github →