init.data.list.lemmas ⟷ Mathlib.Init.Data.List.Lemmas

This file has been ported!

Dependencies

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

All dependencies are ported!