Theorem Set.notMem_setOf_iff

Modification history

2026-07-17 09:57
Mathlib/Data/Set/Operations.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted Set.notMem_setOf_iffView on Github →
2025-06-12 11:49
Mathlib/Data/Set/Basic.lean
chore(Data/Set): move very basic lemmas earlier (#25707) …
Modified Set.notMem_setOf_iffView on Github →
2025-05-25 12:30
Mathlib/Data/Set/Basic.lean
chore(*): not_mem/nmem -> notMem (#25159)
Added Set.notMem_setOf_iffView on Github →