Commit 2023-01-27 14:08 cd8220b7

View on Github →

Fix: fix case in a dot notation lemma (#1886)

Estimated changes

Modified Mathlib/Data/Set/Basic.lean

deleted theorem Membership.Mem.out

added theorem Membership.mem.out