Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-11 02:38
b5a26d0a
View on Github →
feat(data/list/basic): Lists over empty type are
unique
(
#12582
)
Estimated changes
Modified
src/data/list/basic.lean
added
def
list.unique_of_is_empty