Theorem Set.mem_image3

Modification history

2023-12-22 20:59

Mathlib/Data/Set/NAry.lean

chore(Set/NAry): drop `Set.image3` (#9221) …

Deleted Set.mem_image3 View on Github →

2022-12-13 10:38

Mathlib/Data/Set/NAry.lean

feat port: Data.Set.NAry (#969) …

Added Set.mem_image3 View on Github →