Mathlib Changelog
v3
Changelog
About
Github
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
Modified
src/data/sym/sym2.lean
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