Mathlib porting status
alternate view
out of sync
init.funext
⟷ ?
Dependencies
4
0 files ported (0.0%)
0 lines ported (0.0%)
Show graph
The unported dependencies are
init.funext
init.core
init.logic
init.data.quot
init.data.sigma.basic