Mathlib porting status
alternate view
out of sync
data.mllist
⟷ ?
Dependencies
1
1 files ported (50.0%)
175 lines ported (45.2%)
Show graph
The unported dependencies are
data.mllist