Theorem ZFSet.sep_notMem

Modification history

2025-11-21 11:20
Mathlib/SetTheory/ZFC/Basic.lean
refactor(SetTheory/ZFC): deduplicate coercion to sets (#31287) …
Added ZFSet.sep_notMemView on Github →