Theorem Set.prodMk_mem_set_prod_eq

Modification history

2025-03-03 16:46

Mathlib/Data/Set/Operations.lean

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

Added Set.prodMk_mem_set_prod_eq View on Github →