Theorem Membership.mem.out

Modification history

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 →