Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-08-27 16:46
c13a7711
View on Github →
feat(data/list): join_eq_nil, join_repeat_nil (
#274
)
Estimated changes
Modified
data/list/basic.lean
added
theorem
list.join_eq_nil
added
theorem
list.join_repeat_nil