Theorem Set.mem_image_elim

Modification history

2025-01-06 10:15

Mathlib/Data/Set/Image.lean

chore: remove >9 month old deprecations (#20505)

Deleted Set.mem_image_elim View on Github →

2022-12-12 07:45

Mathlib/Data/Set/Image.lean

feat: Port Data.Set.Image (#949) …

Added Set.mem_image_elim View on Github →