Mathlib porting status
alternate view
out of sync
init.ite_simp
⟷ ?
Dependencies
3
0 files ported (0.0%)
0 lines ported (0.0%)
Show graph
The unported dependencies are
init.ite_simp
init.data.bool.default
init.data.bool.basic
init.core