Traversable instance for DLists #
This file provides the equivalence between List α
and DList α
and the traversable instance
for DList
.
Mathlib.Data.DList.Instances
This file provides the equivalence between List α
and DList α
and the traversable instance
for DList
.