mathlib3
d3a5e067 - feat(data/dlist/basic): dlist singleton and of_list simp lemmas (#5461)

Commit

5 years ago

feat(data/dlist/basic): dlist singleton and of_list simp lemmas (#5461)

Author

pechersky

pechersky

Parents

Loading