Theorem Set.image_prodMk_subset_prod

Modification history

2025-03-03 16:46

Mathlib/Data/Set/Prod.lean

chore(Data/Set): rename `*prod_mk*` -> `*prodMk*` (#22190)

Added Set.image_prodMk_subset_prod View on Github →