Mathlib porting status
alternate view
out of sync
init.data.subtype.default
⟷ ?
Dependencies
2
+
1
1 files ported (25.0%)
36 lines ported (2.1%)
Show graph
The unported dependencies are
init.data.subtype.default
init.logic
init.core