Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-10-30 00:16
eeb791d8
View on Github →
feat: more delaborators (
#7964
)
Estimated changes
Modified
Mathlib.lean
Modified
Mathlib/Data/Set/Basic.lean
Renamed
Mathlib/Util/PiNotation.lean
to
Mathlib/Util/Delaborators.lean
added
def
delab_not_in
Modified
test/delaborators.lean
Modified
test/propose.lean