Theorem Set.notMem_setOf_iff

Modification history

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 →