data.dlist ⟷ Mathlib.Data.DList.Defs

This file has been ported!

Dependencies

1 files ported (100.0%)
92 lines ported (100.0%)

All dependencies are ported!