init.data.subtype.basic ⟷ Mathlib.Init.Data.Subtype.Basic

This file has been ported!

Dependencies 2

1 files ported (33.3%)
36 lines ported (2.1%)
Show graph

The unported dependencies are