Theorem Set.preimage_setOf_eq

Modification history

2026-07-17 09:57

Mathlib/Data/Set/Image.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Deleted Set.preimage_setOf_eq View on Github →

2022-12-17 23:54

Mathlib/Data/Set/Image.lean

chore: tidy various files (#1086)

Added Set.preimage_setOf_eq View on Github →