Mathlib Changelog
v4
Changelog
About
Github
Commit
2021-05-26 21:19
7ed9e112
View on Github →
feat(Set): Add set notation for finite sets (
#9
)
add set notation
update
Delete TODO
deleted extra case
Update
update
Delete TODO again
Estimated changes
Modified
Mathlib/Set.lean
added
def
Set.insertUnexpander
added
def
Set.singletonUnexpander