Theorem Set.image_prodMk_subset_prod_left

Modification history

2025-08-01 01:40
Mathlib/Data/Set/Prod.lean
feat: start using `grind` in `Set` API (#27670) …
Modified Set.image_prodMk_subset_prod_leftView on Github →
2025-03-03 16:46
Mathlib/Data/Set/Prod.lean
chore(Data/Set): rename `*prod_mk*` -> `*prodMk*` (#22190)
Added Set.image_prodMk_subset_prod_leftView on Github →