Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-21 17:49 e1503e02

View on Github →

feat(data/sym/sym2): set_like instance (#17154)

Estimated changes

added theorem sym2.ext
deleted def sym2.mem
added theorem sym2.mem_iff'
modified theorem sym2.mem_iff
added theorem sym2.mem_iff_exists
added theorem sym2.mem_iff_mem