Theorem Membership.mem.out

Modification history

2025-06-12 11:49
Mathlib/Data/Set/Basic.lean
chore(Data/Set): move very basic lemmas earlier (#25707) …
Deleted Membership.mem.outView on Github →
2023-01-27 14:08
Mathlib/Data/Set/Basic.lean
Fix: fix case in a dot notation lemma (#1886)
Added Membership.mem.outView on Github →