init.data.list.instances ⟷ Mathlib.Init.Data.List.Instances

This file has been ported!

Dependencies 1

2 files ported (100.0%)
351 lines ported (100.0%)

All dependencies are ported!