Theorem Set.subset_fst_image_prod_snd_image

Modification history

2025-05-07 09:33
Mathlib/Data/Set/Prod.lean
feat(Order): directed products and upper bounds (#21493) …
Added Set.subset_fst_image_prod_snd_imageView on Github →