Mathlib porting status
alternate view
out of sync
init.data.list.qsort
⟷ ?
Dependencies
1
1 files ported (50.0%)
287 lines ported (86.4%)
Show graph
The unported dependencies are
init.data.list.qsort